Im Mittelpunkt steht die Entwicklung von Algorithmen und Werkzeugen für die Korrektheit von Systemen (Hard- oder Software). Dabei bearbeiten wir zwei Schwerpunkte: erstens die Entwicklung computergestützter Verifikationsmethoden und zweitens die algorithmische Unterstützung für die Entwicklung von Services und service-orientierten Architekturen.

We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.

Projekte / Projects

Werkzeuge / Tools

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, Übersetzerbau 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”.

Aktuelle Veranstaltungen / Running courses (in German only)

Alle Veranstaltungen des Lehrstuhls / All courses offered by this group (in German only)

Studien- und Diplomarbeitsthemen / Proposals for thesis topics (in German only)