Tom de Jong

Pronouns: he/him

Postdoc, Computer Science, University of Nottingham

  • Joined June 2024

Names

Tom de Jong (Preferred)

Emails

****@nottingham.ac.uk (Confirmed)

Personal Links

Career & Education History

Postdoc
Computer Science, University of Nottingham (nottingham.ac.uk)
2022 – Present
 
PhD student
Computer Science, University of Birmingham (birmingham.ac.uk)
2018 – 2022
 
MS student
Mathematics, Utrecht University (uu.nl)
2015 – 2018
 
Undergrad student
Computer Science and Mathematics, Utrecht University (uu.nl)
2012 – 2015
 

Advisors, Relations & Conflicts

Postdoc Advisor
2022 – Present
 
PhD Advisor
Martín Hötzel Escardó
2018 – 2022
 

Expertise

mathematical logic
Present
 
type theory
Present
 
constructive mathematics
Present