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.

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.

- New preprint: Epimorphisms and Acyclic Types in Univalent Mathematics, joint work with Ulrik Buchholtz and Egbert Rijke.
- I will be visiting Jon Sterling and Marcelo Fiore at the Cambridge Computer Laboratory at the end of February 2024.
- I have been invited to the trimester programme on Prospects of Formal Mathematics. I will be at the Hausdorff Research Institute for Mathematics (HIM) from 26 May to 8 June 2024.
- I will be teaching an advanced course on Categorical Realizability at the upcoming Midlands Graduate School in April 2024.
- I will be on the organising committee for the HoTT/UF workshops in 2024 and 2025.

Last modified on 2024-02-15.