teaching
School of Electronic Engineering and Computer Science, Queen Mary, University of London:
Lecturer for the Automata and Formal Languages (ex Language and Communication) module, 2012- .
Lecturer for the Algorithms and Data Structures (ex ADSOOF) module, 2017- .
Lecturer for the Logic in Computer Science module, 2018- .
Course on Game Semantics, ESSLLI 2019 summer school, given jointly with Andrzej Murawski.
Course on Automata over Infinite Alphabets, MOVEP 2018 summer school.
Course on Automata over Infinite Alphabets, ESSLLI 2015 summer school, given jointly with Andrzej Murawski.
Course on Typed Lambda Calculus, Midlands Graduate School 2013.
Course on Semantics of Programming Languages, ESSLLI 2011 summer school, given jointly with Andrzej Murawski.
Slides: lecture 1, lecture 2, lecture 3, lecture 4-5.
Department of Computer Science, University of Oxford:
Lecturer for the 11/12 Michaelmas Term PartB/MSc/MFoCs course on Lambda Calculus and Types.
Lecturer for the 10/11 Michaelmas Term PartB/MSc/MFoCs course on Lambda Calculus and Types.
Lecturer for the 09/10 Michaelmas Term PartB/MSc/MFoCs course on Lambda Calculus and Types.
Lecturer and class tutor for the 07/08 Michaelmas Term MSc/MFoCs course on Categories Proofs and Processes.
Class tutor for the 07/08, 08/09 Hilary Term MSc/MFoCS course on Game Semantics.
Class tutor for the 06/07 Hilary Term MSc/MFoCS course on Domain Theory.
Class tutor for the 06/07 Michaelmas Term MSc/MFoCs course on Categories Proofs and Programs.