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.
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.