Semantics of Programming Languages Supervisions, Michaelmas 2024
Supervision, Churchill College, Cambridge, 2024
Supervisions for Churchill College in Michaelmas 2024.
Teaching
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.