I am a postdoc at the University of Nottingham (since October 2022) in the Functional Programming (FP) Lab under the supervision of Nicolai Kraus.
From October 2026, I will be a postdoc in
the Software Science group of
the Institute
for Computing and Information Sciences (iCIS) at Radboud University in
Nijmegen, The Netherlands.
From December 2026, I will be supported by a
3-year NWO
Veni fellowship. (I withdrew a concurrent Marie Curie (MSCA) postdoctoral
fellowship.)
Research interests Short bio News Activities Mathstodon feed
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.