Martin Wirsing receives the Order of Merit of the Federal Republic of Germany (Bundesverdienstkreuz)

Article "Agile governance for innovating higher education teaching and learning" accepted by Rivista di Digital Politics

The 25th ETAPS is heading to Munich in April

Prof. Dr. Dr. h.c. Martin Wirsing

Full Professor (em.)

Picture of Prof. Dr. Dr. h.c. Martin Wirsing

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Room F 011, Oettingenstr. 67
+49 89 2180 9154 (Sec.: -9151)
+49 89 2180 9175
wirsing (at)



  • Software Development using Formal Methods
  • Systematic Development of Adaptive Service-Oriented Systems
  • Autonomous Self-Aware Systems
  • Algebraic Specification Techniques
  • Semantics of Specification and Programming Languages
  • Software Engineering of Web and Hypermedia Applications

My Festschrift

Rocco De Nicola and Rolf Hennicker (eds.): Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Book cover of Software, Services and Systems

Latest books

Software Engineering for Collective Autonomic Systems
The ASCENS Approach
 Cover of ASCENS book

Java kompakt

More selected books

Sensoria LNCS     Proof as Programs      Aussagenlogik Amazon

FASE 2009     SW-Intensive Systems 2008     TGC 2010     KSEM 2015