Prof. Dr. Martin Wirsing, full professor
Prof. Dr. Fred Kröger, professor
Prof. Dr. Rudolf Haggenmüller, professor
Prof. Dr. Rolf Hennicker, professor
Prof. Dr. Alexander Knapp, assistant 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