We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
We receive 5 Contributor Projects for Google Summer of Code 2024

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
wirsing (at) ifi.lmu.de



  • 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