Forschung / Research

Im Mittelpunkt steht die Entwicklung von Algorithmen und Werkzeugen für die Korrektheit von verteilten Systemen (Hard- oder Software). Dabei bearbeiten wir zwei Schwerpunkte: erstens die Entwicklung computergestützter Verifikationsmethoden und zweitens algorithmische Unterstützung für offene Systeme und deren Komposition.

We develop tools and algorithms for asserting correctness of distributed systems (in hardware or software). We focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for open systems and their composition.

Lehre / Teaching

Wir beteiligen uns an der Grundausbildung in Theoretischer Informatik. Im Hauptstudium bieten wir regelmäßig Veranstaltungen zur computergestützten Verifikation, Modellen und formalen Methoden der Informatik, Compilerbau und Modellen für Geschäftsprozesse und Services an.

We contribute to the undergraduate education in theoretical computer science. For graduate students, frequently offered courses include "Computer Aided Verification", "Formal Methods in Computer Science", "Compiler Construction", and "Models for Business Processes and Services".