- Logic 2: Metatheory.
- Philosophy of Mathematics.
- Modal Logic.
- Computability and Randomness (co-taught with Tom Sterkenburg).
Other course material
- The compactness and Löwenheim–Skolem theorems. Lecture handout for an MA course on formal methods at the University of Bristol, 2012.
- A survey of some of Alfred Tarski’s work in logic. Expanded version of a lecture given at Bristol in May 2012, now published in The History of Philosophical and Formal Logic: From Aristotle to Tarski, Bloomsbury Academic, 2017.