Tom de Jong

I am a PhD student at the University of Birmingham.
My supervisor is Martín Escardó and my co-supervisor is Benedikt Ahrens.

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.

Research interests & background

I am interested in univalent mathematics, computability, realizability (toposes) and category theory.

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.

Recent work

• The Scott model of PCF in univalent type theory
• The Sierpinski Object in the Scott Realizability Topos with Jaap van Oosten

Talks

• The Scott Model of PCF in Univalent Type Theory (with notes), CCC 2019, Ljubljana, 5 September 2019

  Please note that this 40-minute talk covers much more than the 15-minute talk (below) at TYPES.

• The Scott Model of PCF in Univalent Type Theory (with notes), TYPES 2019, Oslo, 11 June 2019

Formalisation

Teaching

• TA for Network Security (Spring 2020)
• TA for Advanced Functional Programming (Autumn 2019)
• TA for Models of Computation (Spring 2019)
• TA for Mathematical Foundations of Computer Science (Autumn 2018)