I am a PhD student at the University of Birmingham.
My supervisor is Martín Escardó and my co-supervisor is Benedikt Ahrens.
School of Computer Science
University of Birmingham
My email address is: t.dejong[symbol]pgr.bham.ac.uk.
I am interested in univalent mathematics, computability, realizability (toposes) and category theory.
I obtained a double bachelor's degree in Computer Science and Mathematics at
Utrecht University in 2015.
I 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.
I have been a PhD student at the University of Birmingham since October 2018.
Please note that this 40-minute talk covers much more than the 15-minute talk (below) at TYPES.