Willkommen
Der Lehrstuhl befasst sich mit Fragen der Automatentheorie, Verbindungen zur Logik und Anwendungen in Verifikation und Synthese.
Aktuelles
- Sprechstunden und Reisetermine Prof. Thomas
- Studienberatung Nebenfach Informatik im 3-Fach-Magister-Studiengang
 |
Research Cluster | AutoMathA (Research Network) |  |
| AlgoSyn | DFG-Graduiertenkolleg | GASICS (Project in the EUROCORES programme LogICCC) |
|
 | B-IT Research School | Theorie der Baumautomaten |  |
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Prof. Dr. E. Grädel)