Forschungsthemen: Programmiersprachen und Werkzeuge

• Attributierungen
• Breitbandsprachen
• Formale Semantik
• Funktional-Logische Programmiersprachen
• Funktionale Programmiersprachen
• Funktionale und Objekt-Orientierte Programmiersprachen
• Programmiersprache Ada
• Spezifikationssprache ANNA (Annotated Ada)
• Sprachvergleich und Querübersetzung
• Systemimplementierungssprachen
• Termersetzung, Graphersetzung
• Unifikation, Matching
• Spezifikationssprache SPECTRAL
• Common Framework Initiative zurStandardisierung einer Familie von Spezifikationssprachen