Welcome
In our group we work on logic in computer science, automata theory, and applications in verification and synthesis.
Announcements
- We are back in our new renovated floor in E1, 1st floor.
- Talks at the research seminar Logic and Automata (AG LuA).
- Office hours and travel dates Prof. Thomas
![]() |
Research Cluster | AutoMathA (Research Network) | ![]() |
AlgoSyn | DFG Research Training Group | GASICS (Project in the EUROCORES programme LogICCC) |
![]() |
![]() | B-IT Research School | Verification with Resource Bounds | ![]() |
Research Group Mathematical Foundations of Computer Science (Prof. Dr. E. Grädel)