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 | Theorie der Baumautomaten |  |
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Prof. Dr. E. Grädel)