Course Teaching
Amsterdam
- 2020 Axiomatic Set Theory (BSc Mathematics)
- Semester 2, with Nick Bezhanishvili
- 2019 Set Theory (MSc Mathematics)
- Semester 1, with Benedikt Löwe & KP Hart
- Mondays, 14-17h, 904 G3.02
- 2019 Rudiments of Axiomatic Set Theory (MSc Logic)
- Semester 1, with Benedikt Löwe
Cambridge
- 2018-2019 Formal Methods (BA Philosophy) - see Tim Button's website
- Group E with Sahanika Ratnayake
- LT classes 2-5 (even weeks) Tuesdays, Seminar Room 6, Divinity Faculty
- ET revision class (week 1) Thursday 25th April, Lecture Block Room 5
Supervision
Service
Cambridge
- 2019 Foundations & Philosophy of Mathematics Group, Principal Organiser
- LT & ET, Tuesdays, 1p.m., Boardroom, Philosophy Faculty
- Mix of talks and set readings on contemporary foundations & philosophy of mathematics, logic, etc. - graduate level
