Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Search content at University of Twente Research Information
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
KNVI Scriptieprijs voor Informatica en Informatiekunde (2e plaats)
Lathouwers, Sophie Apollonia Maria (Recipient)
Formal Methods and Tools
Prize
Description
I was awarded the second thesis prize for computer science for my master thesis "Reasoning about the correctness of sanitizers".
Awarded date
2019
Granting Organisations
Koninklijke Nederlandse Vereniging van Informatieprofessionals (KNVI)
Fingerprint
Computer Science
100%
Correctness
100%
X