Tom de Jong

About    Writings    Talks    Teaching    Misc.    Contact   

About me

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.

News CV: A copy of my CV.
Last modified on 2024-07-17.