Willkommen

Der Lehrstuhl befasst sich mit Fragen der Automatentheorie, Verbindungen zur Logik und Anwendungen in Verifikation und Synthese.

Aktuelles


UMIC Research Cluster AutoMathA (Research Network) ESF
AlgoSyn DFG-Graduiertenkolleg GASICS (Project in the
EUROCORES programme LogICCC)
ESF
b-itB-IT Research School Theorie der Baumautomaten DFG

Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Prof. Dr. E. Grädel)

Fachgruppe Informatik