Spring 2021 courses
- Philosophy of Mathematics.
Summer 2019 courses
- Vagueness (BA course).
- Modal Logic (MA course).
- Computability and Randomness (MA course, co-taught with Tom Sterkenburg).
- 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.