Überblick
Wir arbeiten in den Gebieten
- Automatentheorie,
- Logik-Systeme,
- automatische Verifikation und Programmsynthese.
Weitere Schwerpunkte sind:
- Toolentwicklung im Bereich Automatentheorie (Projekte AMoRE, OMEGA);
- Multimediale Lehre (Projekt ULI);
- Geschichte und Methodologie der Informatik.
Projekte
 |
Research Cluster | AutoMathA (Research Network) |  |
| AlgoSyn | DFG-Graduiertenkolleg | Verifikation mit Resourcenschranken |  |