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
at Utrecht University
in 2015, and completed a research master in Mathematics at the same university
My master's thesis was on the realizability topos of Scott's graph model and was supervised by Jaap van Oosten.