- Dissertation (2023): Exploring Annotations for Deductive Verification. Supervised by Marieke Huisman.
- Master thesis (2018): Reasoning About the Correctness of Sanitizers. Supervised by Marieke Huisman, Maarten Everts (University of Twente) and Martijn Hoogesteger (Northwave).
- Bachelor thesis (2016): “Reducing Root Contention in Lazy Tree-Structured Databases”. Supervised by Marieke Huisman and Lesley Wevers (University of Twente).