Prof. Dr. Martin Wirsing, vice president and full professor

Prof. Dr. Christian Prehofer, Extra-Ordinarius

Prof. Dr. Rolf Hennicker, professor

Prof. Mirco Tribastone PhD, junior professor

Prof. Dr. Rudolf Haggenmüller, professor

Prof. Dr. Fred Kröger, professor (emeritus)

Prof. Dr. Marcus Spies, professor (associated)

Teaching and Research Emphasis

• Software development using formal methods
• Algebraic specification techniques
• Programming methodology
• Functional and object-oriented programming
• Semantics of specification and programming languages
• Reuse of software components, software libraries
• Temporal logics and their applications
• Theory of parallel programs
• Web engineering
  

Address

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

Secretary

Marianne Diem