Teaching
Past and present courses
The quest for a logic for polynomial time
Lecture course held at the summer school ESSLLI 2025 in Bochum
Lecture 1: What is a logic for polynomial time?
Lecture 2: Fixed-point logics
Lecture 3: The Cai-Fürer-Immerman construction
Lecture 4: Linear-algebraic logics
Lecture 5: Choiceless Polynomial Time
Supervisions at University of Cambridge
- Lent 2026: Computation Theory.
- Easter 2025: Complexity Theory.
- Lent 2025: Computation Theory.
- Easter 2024: Complexity Theory, Introduction to Probability.
- Lent 2024: Computation Theory.
Past teaching at RWTH Aachen University, Germany
- Mathematical Logic (Summer terms 2022 and 2019)
- Mathematical Logic II (Winter term 2020)
- Seminar Propositional Proof Complexity
- Seminar Algorithmic Meta-Theorems and Parameterized Complexity
