Teaching
My teaching involvement.
As lecturer:
- Model Checking. Master course, spring 2024. Lecture on MDPs.
As teaching assistant:
- Model Checking. Master course, spring 2024. Exercise classes.
- Seminar Mathematical Foundations of Computer Science. Master course, fall 2024. Project supervision.
- Software verification. Bachelor course, spring 2022. Exercise classes.
- Software verification. Bachelor course, spring 2021. Exercise classes.
- Calculus and probability theory. Bachelor course, spring 2020. Exercise classes.