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

I am on the programme committee for ITP 2025.
I am on the programme committee for TYPES 2025.
Our paper Epimorphisms and Acyclic Types in Univalent Foundations was accepted for publication in The Journal of Symbolic Logic.
I am excited to be giving a course on Categorical Realizability at ESSLLI in July/August 2025.
I wrote an expository note on formalizing equivalences. I also recently gave a recorded talk about this at the Hausdorff Research Institute for Mathematics.
I am on the organising committee for the HoTT/UF workshops in 2024 and 2025.
I am on the programme committee for Certified Proofs and Programs (CPP) 2025.
I joined the TYPES steering committee in June 2024.

CV: A copy of my CV.

Last modified on 2024-11-12.