In our group we work on logic in computer science, automata theory, and applications in verification and synthesis.
- 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)