See News

Sophie Lathouwers wins the 2nd KNVI young talent prize

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.