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)