Tom De Jong



Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Constructive mathematics, univalent foundations, homotopy type theory (HoTT/UF), domain theory, predicative mathematics


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. 


  • (2015–2018) MSc in Mathematical Sciences, Utrecht University, The Netherlands. GPA: 4.00 (cum laude)
  • (2012–2015) BSc in Computer Science and Mathematics, Utrecht University, The Netherlands. GPA: 4.00 (cum laude)


Dive into the research topics where Tom De Jong is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles