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 (completed) |