Semantics of Programming Languages Supervisions, Lent 2026
Supervision, Churchill, Homerton Colleges and Hughes Hall, Cambridge, 2026
Supervisions for Churchill, Homerton Colleges and Hughes Hall, Lent 2026.
Teaching
Semantics of Programming Languages Supervisions, Michaelmas 2024
Supervision, Churchill College, Cambridge, 2024
Supervisions for Churchill College in Michaelmas 2024.
Semantics of Programming Languages Supervisions, Michaelmas 2023
Supervision, Magdalene and Murray Edwards Colleges, Cambridge, 2023
Supervisions for Magdalene and Murray Edwards Colleges in Michaelmas 2023.