Programmiermethodik und Multimediale Informationssysteme

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:

Ansprechpartner

Sekretärin
Professur für Programmiermethodik und Multimediale Informationssysteme
Professor, Extraordinarius im Ruhestand
Professur für Programmiermethodik und Multimediale Informationssysteme

Allgemeine Kontaktinformationen:

Anschrift:
Universitätsstrasse 6a
86159 Augsburg


Telefon: +49 821 598 - 2164 (Sekretariat)

Fax: +49 821 598 - 2274

E-Mail: elisabeth.czerwenka@informatik.uni-augsburg.de (Sekretariat)

 

Gebäude: N 2050

 

 

© Universität Augsburg

Suche