Tom de Jong
About
Writings
Talks
Teaching
Misc.
Contact
Teaching
2022–2023
Lecturer for the introductory course on Domain theory and denotational
semantics at the
upcoming Midlands
Graduate School (2–6 April 2023)
Assistant supervisor
of Stiéphen Pradal,
a PhD student of Nicolai Kraus
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 2023-02-09.