Forschungsbereiche und -interessen:

• Spezifikation von Programmiersprachen

• Werkzeuge zur Implementierung von Programmiersprachen

• Objekt-orientierte Programmierung

• Schnittstellenspezifikationen von Programmoduln

• Programmverifikation

• Computerunterstützung in der Lehre