Theoretische Informatik

Theoretical Computer Science

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".