Focus of Research:

The group treats in research and education foundations of computer science. Abstract models and solution paradigms are examined and developed. Their applicability and their restrictions in the areas of formal and programming languages, logic and program verification, and algebraic specification is examined. Techniques for formal specification, algorithm development, and verification are in the center of research. Furthermore questions of the complexity of algorithms and problems in the aforementioned areas are examined.

Research Projects

• Formal Description Techniques (Project C1, SFB 501)
• Gröbnerbases in Monoid- and Grouprings (in German)
• String rewriting systems
• Distributed, knowledgebased theorem proving