Course Teaching
Amsterdam
  • 2021 Axiomatic Set Theory
    • Semester 2, with Nick Bezhanishvili
  • 2020 Set Theory- Combinatorial Large Cardinals
    • Semester 1, with Benedikt Löwe & KP Hart
  • 2020 Rudiments of Axiomatic Set Theory
    • Semester 1, with Benedikt Löwe
  • 2020 Axiomatic Set Theory (BSc Mathematics)
  • 2019 ​Set Theory (MSc Mathematics) - Permutation Models
    • 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
Amsterdam
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