Sebastian Junges wins Best Master Thesis Prize in Germany
His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).
His thesis has been supervised by Joost-Pieter Katoen and Marielle Stoelinga. He wrote his work during an exchange visit at the FMT group, collaborating with Dennis Guck, Arend Rensink and Marielle Stoelinga.
(Foto by BTU Cottbus-Senftenberg/MMZ)
September 24, 2015
Go to the news overview.