Summer term 2021
Winter term 2020/21
- Lecture Analysis of Dynamical and Cyber-physical Systems
- Lecture Program Verification
- Seminar Machine Learning and Formal Verification (co-organized with Prof. Dr. Stefan Leue)
Open student projects
Below I list concrete ideas for student projects. If you are looking for a project, especially related to these topics, just contact me.