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)