Lukas Miedema, nominated by professor Marieke Huisman of the chair Formal Methods and Tools, is the winner of one of the two 2nd prizes of the KNVI Thesis prizes for Informatics. This prize consist of an amount of 1000 Euro. Lukas has been informed by the Chairman of the KHMW, Prof. Louise Gunning.
Lukas will receive the prize on November 30 in a virtual environment.
For more information about the thesis of Lukas, see: https://fmt.ewi.utwente.nl/education/master/364/.