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, preparing camera ready)
- Check out the project at https://slebok.github.io/proverb/! (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)
TeachingI'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)
- Co-chair of Alice & Eve 2020, a free one day meeting to celebrate women in computing!
- For this event we also published a booklet describing several notable women in computing: Alice & Eve: A celebration of women in computing with Niels van Huizen, Puck Kemper, Mariëlle Stoelinga, Alma Schaafstal and Marieke Huisman.
- TACAS 2020 Artifact Evaluation Committee member
- Won best student team award together with Wytse Oortwijn for our participation in VerifyThis 2019