Teaching

Current semester (winter term 2020)

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

Student theses

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