Willkommen
Der Lehrstuhl befasst sich mit Logik in der Informatik, Automatentheorie, und Anwendungen in Verifikation und Synthese.
Aktuelles
- Ab sofort finden Sie uns wieder im alten, jetzt neu eingerichteten Flur im Erweiterungsbau 1, 1. Etage.
- Vorträge in der Arbeitsgemeinschaft Logik und Automaten (AG LuA).
- Sprechstunden und Reisetermine Prof. Thomas
![]() |
Research Cluster | AutoMathA (Research Network) | ![]() |
AlgoSyn | DFG-Graduiertenkolleg | GASICS (Project in the EUROCORES programme LogICCC) |
![]() |
![]() | B-IT Research School | Verifikation mit Ressourcenschranken | ![]() |
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Prof. Dr. E. Grädel)