Course Teaching
Amsterdam
  • 2023 Philosophy of Mathematics (MA Philosophy)
    • Semester 2, with Luca Incurvati
  • 2021 Recursion Theory, i.e. Computability Theory (MSc Logic//Computer Science)
    • Semester 1, with Johannes Marti
  • 2021 Axiomatic Set Theory
    • Semester 2, with Nick Bezhanishvili
  • 2020 Set Theory - Large Cardinals & Combinatorial Set Theory
    • 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​
  • 2021 Reading Group Course (BA/MMath Mathematics) - Transfinite Computation
  • 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
If you are interested in working on a project, thesis, or dissertation with me, send me an email and we can discuss options.
Project Ideas

Amsterdam
  • 2020 Mathematics (BSc) 2nd year project x 2 - Non-Standard Analysis
  • 2021 Mathematics (BSc) 2nd year project x 2 - Measure and Category in Baire Space
Service
Amsterdam-Hamburg-Cambridge
  • 2020-2021 Descriptive Set Theory reading group, organiser
    • Winter Semester: Moschovakis Descriptive Set Theory (2nd ed.) - Thursdays 14:00 CET, fortnightly, Zoom
Amsterdam
Cambridge
  • ​​2019 Foundations & Philosophy of Mathematics Group, 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