Sebastian Junges received on last Friday (June 26) a price for his excellent achievements in his master studies Computer Science.  Sebastian recently completed his master thesis on “Simplifying Dynamic Fault Trees by Graph Rewriting” and was co-supervised by Marielle Stoelinga (Twente).  We congratulate Sebastian with this great result!