Hey! I was a PhD student at Radboud University Nijmegen, supervised by
Robbert Krebbers
and
Herman Geuvers.
Starting March 17th, I will join the Automated Reasoning Group at Amazon Web Services as an Applied Scientist in Cambridge, UK.
My research interests include formalized mathematics, formal software verification and (proof) automation.
My PhD research project was centered around the development of Diaframe, a plugin for Iris aimed at (partially) automating proofs. Don't hesitate to reach out if you have questions!
I defended my thesis on the 3rd of February 2025, and received a 'cum laude' distinction.
I enjoy skiing, snowboarding and playing boardgames.
