Programmiermethodik und Multimediale Informationssysteme (Prof. Möller)

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".

Aktuelle Forschungsprojekte

• Algebra-Basierte Feature-Orientierte Programmsynthese (FeatureFoundation)
• Algebraische Kalküle für Separationslogik (AlgSep)