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.