Univ. Prof. Dr. Martin Wirsing, Ordinarius
Univ. Prof. Dr. Fred Kröger, Extra-Ordinarius
Univ. Prof. Dr. Marcus Spies, Extra-Ordinarius (assoziiert)
Prof. Dr. Rudolf Haggenmüller, apl. Professor
Prof. Dr. Rolf Hennicker, 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 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