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.


UMIC Research Cluster AutoMathA (Research Network) ESF
AlgoSyn DFG Research Training Group Verification with Resource Bounds DFG