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)