Monday 15 April 2019
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!