Teaching
Seminar Leader
- Seminar in Logic & Seminar in Computer Science, TU Wien (WS 2026, SS 2026)
Teaching Assistant
- Models of Concurreny, University of Oslo (2024, 2023, 2022)
- Specification and Verification of Parallel Systems, University of Oslo (self-study, 2024)
- Big Data Management, University of Münster (2020)
- Introduction to Algebra, University of Münster (2020)
- Geometric Linear Algebra, University of Münster (2019)
Thesis Supervision
- MSc thesis, University of Oslo (defended 2026)
- MSc thesis, University of Oslo (defended 2025)
