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
 |
Research Cluster | AutoMathA (Research Network) |  |
| AlgoSyn | DFG Research Training Group | GASICS (Project in the EUROCORES programme LogICCC) |
|
 | B-IT Research School | Theory of Tree Automata |  |
Research Group Mathematical Foundations of Computer Science (Prof. Dr. E. Grädel)