Prof. Dr. Martin Wirsing, full professor
Prof. Dr. Fred Kröger, professor
Prof. Dr. Marcus Spies, professor (associated)
Prof. Dr. Rudolf Haggenmüller, professor
Prof. Dr. Rolf Hennicker, professor

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-9152

Secretary

Marianne Diem