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)
- Semester 2, with Nick Bezhanishvili
- 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
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
- 2021 Philosophy of Mathematics reading group
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