See News

KHMW Internetscriptie prize for Sophie Lathouwers

Sophie Lathouwers of the Formal Methods and Tools group (EEMCS) has won the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenschappen with her Master thesis Reasoning About the Correctness of Sanitizers.

The prize-giving ceremony will take place on Thursday November 7 next at 15:00 in Amsterdam (REC, room C0.01, Nieuwe Achtergracht 166).

For more information see