Sophie Lathouwers

PhD Candidate in the Formal Methods and Tools group

Welcome! My name is Sophie and I am a PhD Candidate in the Formal Methods and Tools group at the University of Twente. In December 2018 I joined the research group led by Prof. Dr. Marieke Huisman to work on the Mercedes project. The Mercedes project aims to develop automated verification techniques for concurrent software in order to detect and correct errors before the software is used.
Personally I will focus on the automatic generation of specifications which should make formal verification easier and less time-consuming for the user.


Come visit me at the University of Twente, Room 3082 in the Zilverling building!
Or send an e-mail to: s.a.m.lathouwers [at] utwente [dot] nl


Modelling Program Verification Tools for Software Engineers
with Vadim Zaytsev (MODELS 2022)
Check out the project at! (Repository)
Dataset archived via 4TU.ResearchData
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
with Marieke Huisman (FormaliSE 2022)
Dataset available via 4TU.ResearchData
Modular Transformation of Java Exceptions Modulo Errors
with Robert Rubbens and Marieke Huisman (FMICS 2021)
Alice and Eve: A Celebration of Women in Computer Science
with Niels van Huizen, Marieke Huisman, Alma Schaafstal and Mariƫlle Stoelinga (SEFI 2020)
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach
with Maarten Everts and Marieke Huisman (ForSE workshop at ICISSP 2020) (Repository)


Reasoning about the Correctness of Sanitizers (Master's thesis, September 2018).
Supervised by Marieke Huisman, Maarten Everts (University of Twente) and Martijn Hoogesteger (Northwave)
  • Awarded the KHMW Internetscriptieprijs in the category internet & technology for this work. The KHMW (Royal Holland Society of Sciences and Humanities) awarded four prizes to the best master theses whose topic was related to the internet.
  • Awarded the silver Young Talent Award for this work. Every year the KNVI (Royal Dutch Association for Computer Science) awards the best master theses within Computer Science.
Reducing Root Contention in Lazy Tree-structured Databases (Bachelor's thesis, July 2016).
Supervised by Marieke Huisman and Lesley Wevers (University of Twente)


I've been a Teaching Assistant for the following courses:
  • System Validation 2019-2021 (Master course)
  • Software Systems 2014-2017 (Bachelor course)
  • The Pearls of Computer Science (Bachelor course)
  • Data & Information (Bachelor course)

Other activities

  • Co-chair of Alice & Eve 2020, a free one day meeting to celebrate women in computing!
  • TACAS 2020 Artifact Evaluation Committee member
  • Won best student team award together with Wytse Oortwijn for our participation in VerifyThis 2019