Teaching & Students
|
1st Semester 2021/22.
Set Theory (with KP Hart; September to December
2020; Monday 14-17).
Rudiments of Axiomatic Set Theory (September to
October 2020; Monday 14-17).
Capita Selecta: Set Theory
(September
to October 2020).
2nd Semester 2021/22.
No teaching.
2022/23. Sabbatical (no teaching).
|
|
|
Wintersemester 2022/2023.
Proseminar
Mathematik von Wahlsystemen (Löwe),
Blockseminar vom 27. bis 30. März 2023
Sommersemester 2023.
Vorlesung Computability, Decidability, Incompleteness
(Vertiefung Mathematische Logik & Mengenlehre; Löwe), Dienstag 12–14 Geom H3
|
|
|
Lent term 2021.
Lecture Course
Infinite Games
in Part III of
the Mathematical Tripos; Monday, Wednesday, Friday 11–12
Lent term 2022.
Lecture Course
Large Cardinals in
Part III of
the Mathematical Tripos; Monday, Wednesday 11–12
Michaelmas term 2022.
Lecture Course Automata & Formal Languages in Part
II the Mathematical Tripos; Tuesday, Thursday, Saturday 11–12
Lent term 2023.
Lecture Course
Large Cardinals in
Part III of
the Mathematical Tripos; Monday, Wednesday 11–12
|
|
Past
teaching.
|
Current PhD students.
- Raeian Banerjee (MSc CMI 2019)
- Nick de
Hoog (MA U Leipzig 2013)
- Clara List (MSc U Oxford 2020)
- Luke Gardiner (MMath U Cambridge 2019)
- Robert Paßmann
(MSc U Amsterdam 2018, MPhil U Cambridge 2021)
- Tristan van der Vlugt (MSc U Utrecht 2019)
- Ned Wontner
(MMathPhil U Oxford 2018, MPhil U Cambridge 2019)
- Han Xiao (MSc
CAS 2019)
|
Past
students.
|
Service to universities and the academic community
|
Mitglied des Vorstands der
Deutschen
Vereinigung
für Mathematische Logik und für Grundlagen der exakten Wissenschaften
(DVMLG; 2006–2024)
|
Bestuurslid of the Nederlandse
Vereniging voor Logica &
Wijsbegeerte der Exacte Wetenschappen (VvL; 2011–2017, 2021–2027)
|
|
|
List of past service activities (including conference and workshop
organization and
PC memberships)
|
