Hinweis: Aktuell machen wir am Fachgebiet regen Gebrauch von mobiler Arbeit und sind deshalb nur sporadisch im Büro. Daher bin ich telefonisch nicht immer erreichbar, aber Sie können mir jederzeit eine E-Mail schicken.

• Selbstadaptive verteilte Systeme
• Timed Automata
• Bisimulation

MAKI (Teilprojekt A4, assoziiertes Mitglied)

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