Welcome
In our group we work on automata theory, connections to logic, and applications in verification and synthesis.
Announcements
- Office hours and travel dates Prof. Thomas
- Studienberatung für das Nebenfach Informatik im 3-Fach-Magisterstudiengang
- Exam on Automaten, Sprachen und Komplexität
 |
Research Cluster | AutoMathA (Research Network) |  |
| AlgoSyn | DFG Research Training Group | Theory of Tree Automata |  |
Research Group Mathematical Foundations of Computer Science (Prof. Dr. E. Grädel)