Friday 25 October 2019
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 https://www.khmw.nl/events/themabijeenkomst-en-uitreiking-internetscriptieprijzen.
