I have been working at the chair of Prof. Holger Hermanns since April 2023.
My research interests revolve around (formal methods, programming languages, mathematics) and teaching thereof.
I am a co-maintainer of the pseuCo.com project.
With my thesis entitled “Understanding pseuCo - Visualization of Nested-Unit Colored Petri Nets” I completed my M.Sc. in computer science in March 2023
Teaching Experience
Teaching Assistant
| Summer 2023 |
Teaching Assistant for Statistics Lab |
| Summer 2022 |
Teaching Assistant for Competitive Programming |
| Summer 2020 |
Teaching Assistant for Competitive Programming |
Student TA
| Winter 2017/18 |
Student TA for Automated Reasoning |
| Winter 2018/19 |
Student TA for Automated Reasoning |
