We are working in the fields of
- automata theory,
- logic systems, and
- automatic verification and program synthesis.
Further fields of activity are:
- development of tools in the field of automata theory (projects AMoRE, OMEGA);
- multimedia supported teaching (project ULI);
- history and methodology of computer science.
|Research Cluster||AutoMathA (Research Network)|
|AlgoSyn||DFG Research Training Group||Verification with Resource Bounds|