Model Checking (Tutorial) |
TU Dresden |
| Winter Term 2025 | |
Selected Topics in Logic and Verification (Seminar) |
TU Dresden |
| Summer Term 2025, Winter Term 2025 | |
Theoretical Computer Science (Undergraduate Seminar) |
TU Dresden |
| Winter Terms 2023-2025, Summer Terms 2024-2025 | |
Discrete Probability Theory (Tutorial) |
Technical University of Munich |
| Summer Term 2019 | |
Introduction to Computer Architecture (Tutorial) |
Technical University of Munich |
| Winter Term 2017 | |
I am happy to supervise student projects. Feel free to reach out!
Certificates for Probabilistic Model Checking |
|
| Diane Cauquil - Internship(ongoing) | |
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) | |