Algebraische und Logische Grundlagen der Informatik
- Modellierung, Spezifikation und Verifikation von Reactive Systems
- Quantitative Analyse stochastischer Systeme, probabilistisches Model Checking
- coordination languages, Kompatibilität von Komponenten
- Temporale und modale Logiken
- Automaten über unendlichen Strukturen, Spieltheorie
- Verifikation von unendlichen Systemen
