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