Theoretical Computer Science (Undergraduate Seminar) |
Winter 2023, Summer 2024, Winter 2024 |
| 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!
An Efficient and Extensible Implementation for Computing Certificates and Witnessing Subsystems for Markov Decision Processes |
|
| Bachelor's Thesis (ongoing) | |