You are here: Home
Document Actions

Programming and Software Engineering

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


last modified: 2008-06-24 15:34