Note: At the moment the employees of the department make frequent use of mobile working. Therefore, I am not always available by phone, but you can always send me an e-mail.

• Self-adaptive Distributed Systems
• Timed Automata
• Bisimulation

MAKI (Subproject A4, associate member)

• Software Engineering - Wartung und Qualitätssicherung
• Projektseminar Softwaresysteme (as supervisor)
• (Pro-)Seminar Softwaresystemtechnik (as supervisor)