Teaching

Current semester (winter term 2021/22)

This term I am involved in the following teaching activities. Please take a look at the chair's webpage for further information on lectures and other courses.

• Lab Course “Modeling and Automated Verification”
• Research Project “Formal Methods”
• Undergraduate Seminar “Theoretical Computer Science”

Student theses

I am always looking for students interested in topics of my research areas. For diploma, master, or bachelor topics, please contact me.