Tom de Jong

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.

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.

• I am an invited speaker at the Seventh Workshop on Formal Topology which will take place on 13–17 April 2026.
• Our new preprint with our PhD student Stiéphen Pradal on a study of Kock's fat Delta category is available on arXiv.
• Our new paper Ordinal Exponentiation in Homotopy Type Theory with Nicolai Kraus, Fredrik Nordvall Forsberg and Chuangjie Xu is out on the arXiv.
  I gave a talk about our paper at the Dutch Categories And Types Seminar.
• Our paper Epimorphisms and Acyclic Types in Univalent Foundations has been published in The Journal of Symbolic Logic.
• I wrote an expository note on formalizing equivalences. I also gave a recorded talk about this at the Hausdorff Research Institute for Mathematics.

• I am excited to be giving a course on Categorical Realizability at ESSLLI in August 2025.
• I will be at the Advances in Interactive and Quantitative Semantics workshop at CIRM on 26–28 May.
• I am on the programme committee for ITP 2025.
• I am on the programme committee for TYPES 2025.
• I am on the organising committee for the HoTT/UF workshops in 2024 and 2025.
• I was on the programme committee for Certified Proofs and Programs (CPP) 2025.
• I joined the TYPES steering committee in June 2024.
• Together with Albert Visser and Benno van den Berg I organized the Heyting Day on 14 March 2025 which was held in honour of Jaap van Oosten.

Mathstodon feed