Tuesday 17 March 2020
Sophie Lathouwers of the Formal Methods and Tools group (EEMCS), won the 2nd KNVI (de Koninklijke Nederlandse Vereniging van Informatieprofessionals) prize for her Master thesis Reasoning About the Correctness of Sanitizers.
The prize-giving ceremony was on November 25 2019 in Hodson House, the home of KNVI.
For more information see https://www.knvi.nl/nieuws/217336/De-KNVI-reikt-de-jaarlijkse-IT-scriptie-en-aanmoedigingsprijzen-uit.