Tom de Jong

Teaching

2024–2025

• Assistant supervisor of Stiéphen Pradal (since 2022) and Aref Mohammadzadeh, PhD students of Nicolai Kraus
• Lecturer for an advanced course on Categorical Realizability at the upcoming 36th European Summer School in Logic, Language and Information (ESSLLI) in July/August 2025

2023–2024

• Defence committee member for Alyssa Renata's Master of Logic thesis
• Lecturer for an advanced course on Categorical realizability at the Midlands Graduate School (8–12 April 2024)
• 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
  • Theories of Computation (exam marker)
  • Advanced Functional Programming
  • Functional Programming

2020–2021

• Theories of Computation
• Functional Programming

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
  • Network Security
  • Functional Programming

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
  • Models of Computation
  • Mathematical Foundations of Computer Science

2017–2018

• Group Theory
• Foundations of Mathematics