Das?Forschungsprofil der Professur für Programmiermethodik und multimediale Informationssysteme?stellt sich folgenderma?en dar. Zentrales Arbeitsgebiet sind formale Methoden zur Beschreibung, Spezifikation und Entwicklung von Systemen, sowohl in Software wie in Hardware:

• Entwicklung einfach handhabbarer algebraischer Kalküle zur formalen Systembeschreibung und -entwicklung,
• speziell modale Kleene-Algebra und ihre Anwendungen,
• Methodik zur sicheren Entwicklung von Programmen auf komplexen Zeigerstrukturen.

Ein weiteres Arbeitsgebiet sind multimediale Anwendungen zur Unterstützung der Lehre. Hier wurde speziell ein LaTeX-basiertes Pr?sentationswerkzeug JPP geschaffen.
?

Die Forschungsarbeit der Professur ist zudem in folgende internationale Gremien eingebunden:

• IFIP Working Group 2.1 "Algorithmic Languages and Calculi".
• International Working Group "Relational Methods in Computer Science".