Model Checking (Tutorial) |
Winter 2025 |
| TU Dresden | |
Selected Topics in Logic and Verification (Seminar) |
Summer 2025 |
| TU Dresden | |
Theoretical Computer Science (Undergraduate Seminar) |
Winter 2023 & 2024, Summer 2024 & 2025 |
| TU Dresden | |
Discrete Probability Theory (Tutorial) |
Summer 2019 |
| Technical University of Munich | |
Introduction to Computer Architecture (Tutorial) |
Winter 2017 |
| Technical University of Munich | |
I am happy to supervise student projects. Feel free to reach out!
Towards Explainable Formal Analysis and Synthesis for Sensor Networks |
|
| Linus Schernikau - Bachelor's Thesis (ongoing) | |
An Efficient and Extensible Implementation for Computing Certificates and Witnessing Subsystems for Markov Decision Processes |
|
| Volodymyr Drobitko - Bachelor's Thesis (completed) | |