2022–2023

• Logic 2: Metatheory.
• Philosophy of Mathematics.

2021–2022

• Logic 2: Metatheory.
• Logic 3: Incompleteness and Undecidability.

2020–2021

• Philosophy of Mathematics.

2018–2019

• Vagueness.
• 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.