# Teaching

## 2022–2023

- Logic 2: Metatheory.
- Philosophy of Mathematics.

## 2021–2022

## 2020–2021

## 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.