Welcome
In our group we work on logic in computer science, automata theory, and applications in verification and synthesis.
Announcements
- The corridor of i7 is being renovated. Currently, you find our team in different rooms. The new rooms are indicated in the directory in Campus.
The new rooms of the professors and the secretary are located in the HBau part of the building on the 2nd floor. You can reach these rooms by the stairs in the entrance hall at the Ahornstraße.- Secretary: 2227
- Prof. Grohe: 2224
- Prof. Thomas: 2225
- Priv.-Doz. Löding 2225
- 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)