Algebraische und logische Grundlagen der Informatik

Die Forschungsgruppe Algebraische und logische Grundlagen der Informatik beschäftigt sich mit der Modellierung, Spezifikation und Verifikation reaktiver Systeme. Zu den Forschungsschwerpunkten gehören die formale Analyse und Synthese stochastischer Systeme sowie Konzepte der Erklärbarkeit im Kontext formaler Methoden. Weitere Forschungsthemen sind Automatentheorie, temporale und modale Logiken, Spieltheorie und dynamische Systeme.