Tom de Jong

I am a PhD student at the University of Birmingham in the Theoretical Computer Science group.

My supervisor is Martín Escardó and my co-supervisor is Benedikt Ahrens.

A copy of my CV.

Contact details

Room 218
School of Computer Science
University of Birmingham
Edgbaston
B15 2TT
Birmingham
United Kingdom

My email address is: t.dejong[symbol]pgr.bham.ac.uk.

Background

I am working on constructive and predicative domain theory in Univalent Foundations.

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.

Publications

Preprints

Notes

Talks

Teaching

Miscellaneous


Last modified on: 21 January 2022.