Forschungsschwerpunkte:

In der Arbeitsgruppe werden in Forschung und Lehre Grundlagen der Informatik behandelt. Hierbei werden abstrakte Modellbildungen und Lösungsparadigmen untersucht und weiterentwickelt, sowie deren Anwendbarkeit und Grenzen im Bereich der formalen Sprachen und Programmiersprachen, der Logik und Programmverifikation und der algebraischen Strukturen untersucht. Dabei stehen Techniken zur formalen Spezifikation, zum Algorithmenentwurf und zur Verifikation im Vordergrund.

Schwerpunkte sind die Entwicklung und Untersuchung von Paradigmen zur Lösung von Problemen aus den genannten Bereichen und Komplexitätsuntersuchungen konkreter Probleme und auf diesen Paradigmen basierenden Algorithmen.

Forschungsprojekte

• Formale Beschreibungstechniken (Projekt C1, SFB 501)
• Gröbnerbasen in Monoid- und Gruppenringen
• Wortersetzungssysteme
• Verteiltes, wissensbasiertes Theorembeweisen