Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Programmierung und Softwaretechnik (PST)

Univ. Prof. Dr. Dr. h.c. Martin Wirsing, Vizepräsident, Professor
Prof. Dr. Rolf Hennicker, apl. Professor
Prof. Dr. Wolfgang Hesse
Prof. Dr. Mila Majster-Cederbaum
Univ. Prof. Dr. Fred Kröger, Extra-Ordinarius (em.)
Univ. Prof. Dr. Marcus Spies, Extra-Ordinarius (assoziiert)
Prof. Dr. Rudolf Haggenmüller, apl. Professor

Schwerpunkte in Lehre und Forschung

  • Software-Entwicklung unter Einbeziehung formaler Methoden
  • Algebraische Spezifikationstechniken
  • Methodik der Programmierung
  • Funktionale und objektorientierte Programmierung
  • Semantik von Spezifikations- und Programmiersprachen
  • Wiederverwendung von Software-Komponenten, Software-Bibliotheken
  • Temporale Logiken und ihre Anwendungen
  • Theorie paralleler Programme
  • Softwaretechniken für (sichere) Web-Anwendungen

Adresse

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
Oettingenstraße 67
D-80538 München
Tel.: +49-89-2180-9151
Fax: +49-89-2180-9175

Sekretariat

Marianne Diem