News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

April 15, 2019

VerifyThis awards for VerCors teams!

At “VerifyThis 2019”, part of the ETAPS conference in Prague in April 2019, several prizes were won by FMT members.
Firstly, Sophie Lathouwers and Wytse Oortwijn won the Best Student Team award!
Secondly, Marieke Huisman and Sebastiaan Joosten won the “Most Distinguished Tool Feature” for their usage of ghost method parameters to model sparse matrices!

Further information.

February 1, 2019

First and second prize VERSEN Master thesis award for FMT theses

During the 5th National Symposium Software Engineering held on February 1, 2019 the first VERSEN Master thesis awards have been handed out. All theses were judged for: nvovelty to and impact in the field of software research, timeliness, quality of the thesis report and associated artifacts, and methodological approach and execution.

The first prize was awarded to Djurre van der Wal for his thesis "Translating AWN networks to the mCRL2 model checker", supervised by Jaco van de Pol, Ansgar Fehnker, Peter Höfner, and Rob van Glabbeek. 

The second prize was awarded to Jan-Jelle Kester for his thesis "CheckMerge: a system for risk assessment of code merges", supervised by Marieke Huisman.