Tom de Jong
About
Writings
Talks
Teaching
Misc.
Contact
Teaching
2023–2024
Lecturer for an advanced course
on Categorical
realizability at the
upcoming Midlands Graduate
School in April 2024
Assistant supervisor (since 2022)
of Stiéphen Pradal,
a PhD student of Nicolai Kraus
Lecturer
at University of
Nottingham
for Compilers
Lecturer for an informal PhD course
on Topos
theory
2022–2023
Lecturer for an introductory course
on Domain
theory and denotational semantics at
the Midlands Graduate
School (2–6 April 2023)
Teaching assistant
at University of
Nottingham
for Advanced Functional
Programming
2021–2022
Teaching assistant in the
online
HoTTEST Summer School
Teaching assistant in Eric
Finster's course on Topos
Theory at
the Midlands
Graduate School (10–14 April 2022)
Teaching assistant
at University
of Birmingham for
2020–2021
Teaching assistant
at University
of Birmingham for
2019–2020
Co-supervised Brendan Hart with
Martín Escardó on a
final year project
about formalising the Scott model of PCF with variables and λ-abstraction in
Agda. Brendan won the Distinguished Dissertation
Prize for this project.
Teaching assistant
at University
of Birmingham for
2018–2019
Assistant in Martín
Escardó's course
on
Univalent Type Theory in Agda at
the Midlands Graduate
School (14–18 April 2019)
Mentor and local co-organizer of
the School and Workshop on
Univalent Mathematics (1–5 April 2019)
Teaching assistant
at University
of Birmingham for
2017–2018
Teaching assistant (in Dutch) at
Utrecht University
for
Last modified on 2024-03-15.