School of Electronic Engineering and Computer Science, Queen Mary, University of London:
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.
Department of Computer Science, University of Oxford: