My research interests include formalized mathematics, formal software verification and (proof) automation. My research is currently focused at improving the proof automation of the Iris framework for separation logic.
My main research project centers 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 enjoy skiing, snowboarding and playing boardgames.