On May 17, 2021 Marcel Moosbrugger from our research unit Formal Methods in Systems Engineering, was awarded the City of Vienna Award

for outstanding diploma theses at TU Wien.

In addition to the EPILOG Distinguished Young Alumn Award 2020W, Marcel is now one of the seven award winners for outstanding diploma theses of the year 2020.

His diploma thesis on “Automating Termination Analysis of Probabilistic Programs” was recognized for its excellence.

In his thesis, he dealt with deciding termination of computer programs as one of the most infamous challenges in computer science and automated the termination analysis of a class of probabilistic programs, called Prob-solvable loops, through (super-)martingale based proof rules.

Marcel Moosbrugger (on the right) at the Award Ceremony in the TU Wien Kuppelsaal