I am a postdoc at the University of Nottingham in the Functional Programming Lab working on homotopy type theory under the supervision of Nicolai Kraus.
I am interested in mathematical structures and logic and their applications to computer science.
Keywords
(homotopy) type theory • univalent foundations •
constructive mathematics • category theory • domain theory •
realizability • interactive theorem proving and proof assistants.
From October 2018 until September 2022 I was a PhD student at the University of Birmingham in the Theoretical Computer Science group. My supervisor was Martín Escardó and my co-supervisor was Benedikt Ahrens. My PhD research was on domain theory in constructive and predicative univalent foundations.
Before that, I obtained a double bachelor's degree in Computer Science and Mathematics at Utrecht University in 2015, and completed a research master in Mathematics at the same university in 2018. My master's thesis was on the realizability topos of Scott's graph model and was supervised by Jaap van Oosten.
CV: A copy of my CV.