Teaching

At TU Wien
- WiSe 2023 Inner Model Theory Seminar: HOD Computations
- WiSe 2023 Forcing (Takehiko Gappo)
- WiSe 2023 Determinacy (William Chan)
- WiSe 2023 Algebra und Diskrete Mathematik für Informatik und Wirtschaftsinformatik (2 UE)
- SoSe 2023 Set Theory - Constructibility
- SoSe 2023 Inner Model Theory Seminar: Extender algebra
- SoSe 2023 Analysis für Informatik und Wirtschaftsinformatik (UE)
- WiSe 2022 Inner Model Theory Seminar
At the University of Vienna
- SoSe 2020 Axiomatic Set Theory
- SoSe 2020 Advanced Topics in Mathematical Logic
- WiSe 2019/20 Grundzüge der mathematischen Logik
- WiSe 2019/20 Übungen zu Grundzüge der mathematischen Logik
- SoSe 2019 Introduction to Mathematical Logic
- WiSe 2018/19 Grundzüge der mathematischen Logik
- WiSe 2018/19 Übungen zu Grundzüge der mathematischen Logik
- SoSe 2018 Axiomatic Set Theory
- SoSe 2018 Proseminar to Axiomatic Set Theory
- WiSe 2017/18 Introduction to Mathematical Logic
- SoSe 2017 Grundzüge der mathematischen Logik
Teaching Video Series for First Year Students
Bachelor Theses which I have advised
- Lena Birschitzky, SoSe 2020, Ordinalzahl-Turingmaschinen. PDF.
- Hongji Liu, SoSe 2020, Zu der Größe der reellen Zahlen.
- Lena Wallner, SoSe 2020, Ehrenfeucht–Fraïssé Spiele und Back-and-Forth Mengen. PDF.
- Max Haunschmidt, SoSe 2019, Logik erster Stufe ist nicht entscheidbar. PDF.
- Lukas Koschat, SoSe 2019, Baire-Räume und ihre Beziehungen zur Mengenlehre. PDF.
- Tim Tomic, SoSe 2019, Von Zahlen, die Axiome sind - Eine Einführung in die Großen Kardinalzahlen. PDF.
- Michael Koller, SoSe 2018, Das Wadge Spiel und die Wadge Hierarchie. PDF.
- Clara Unterberger, SoSe 2018, Kardinalzahlarithmetik. PDF.
- Clemens Moser, WiSe 2017/18, Das konstruierbare Gödelsche Mengenuniversum. PDF.
- Kui Dawei, SoSe 2017, Unendliche Zweipersonenspiele und Mengen von reellen Zahlen.
- Lukas Hendorfer, SoSe 2017, Die Topologie von $\mathbb{R}$ und die Kontinuumshypothese. PDF.
- Michael König, SoSe 2017, Die NP-Vollständigkeit von Tetris. PDF.
At the University of Münster
- WiSe 2015 Repetitorium zur Vorlesung Berechenbarkeitstheorie.
- SoSe 2014, WiSe 2014 und SoSe 2015 Mentorin im Mentoring-Programm für Masterstudentinnen der Mathematik und Informatik.
- SoSe 2013 Doktorandentreffen in Tecklenburg.
- WiSe 2012 Seminar zur Konstruktibilität.