In our group we work on logic in computer science, automata theory, and applications in verification and synthesis.


UMIC Research Cluster AutoMathA (Research Network) ESF
AlgoSyn DFG Research Training Group GASICS (Project in the
EUROCORES programme LogICCC)
b-itB-IT Research School Verification with Resource Bounds DFG

Research Group Mathematical Foundations of Computer Science (Prof. Dr. E. Grädel)

Department of Computer Science