Teaching
Supervision
In 2023, I co-supervised the Master’s thesis of Armand Feuilleaubois on Hydra games for IPL2 together with Graham E. Leigh.
Lecturing
At the University of Würzburg, I have been part of the following courses:
| Semester | Course | Position |
|---|---|---|
| Winter 2026 | Seminar: Mathematical logic | Course leader |
| Summer 2026 | Linear Algebra 2 | Teaching assistant |
At the University of Gothenburg, I have been part of the following courses:
| Semester | Course | Position |
|---|---|---|
| Fall 2025 | Set Theory | Teaching assistant |
| Spring 2025 | Proof Theory | Teaching assistant |
| Fall 2024 | Set theory | Course leader |
| Spring 2024 | Proof Theory | Teaching assistant |
| Fall 2023 | Category Theory | Course leader |
| Spring 2023 | Proof Theory | Teaching assistant |
| Fall 2022 | Category Theory | Course leader |
At the University of Amsterdam, I was a student TA for the following courses:
| Semester | Course |
|---|---|
| Spring 2021 | Proof Theory |
At Saarland University, I was a student TA for the following courses:
| Semester | Course |
|---|---|
| Summer 2019 | Introduction to Computational Logic |
| Summer 2018 | Introduction to Computational Logic |
| Winter 2017 | Programming 1 |