Die Forschungsschwerpunkte der Arbeitsgruppe sind:

  • Programmiersprachen: Entwurfsprinzipien, Typsysteme, Semantik, Übersetzerkonstruktion
  • Programmanalyse: Datenflussanalyse und abstrakte Interpretation, Programmoptimierung, partielle Verifikation von Programmen
  • Programmierumgebungen: Systeme und Werkzeuge zur Programmerstellung, Testen und Fehlersuche
  • Hochsprachen zur zuverlässigen Softwareerstellung: funktionale, logische, objektorientierte und nebenläufige Programmiersprachen und deren Integration und Anwendunge zum Entwurf komplexer Systeme
  • Anwendung programmiersprachlicher Konzepte: Internetprogrammierung, E-Learning, Programmierung eingebetteter Systeme