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.

Research interests    Short bio    News    Activities    Mathstodon feed   

Research interests

I am interested in mathematical structures and logic and their applications to computer science.

Keywords
(homotopy) type theory • univalent foundations • constructive mathematics • category theory • domain theory • realizability • interactive theorem proving and proof assistants (Agda, Lean, Rocq/Coq).

Short bio

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.

CV: A copy of my CV.

News

Activities

Past activities

Mathstodon feed


Last modified on 2025-06-03.