Prof. Dr. Dr. h.c. Martin Wirsing
vice president of LMU and full professor
Software and Computational Systems Lab

Institute for Informatics

LMU Munich

Oettingenstraße 67
80538 Munich (Germany)

Office: Room 058, Oettingenstr. 67
Phone: +49 89 2180 9154 (Sec.: -9151)
Fax: +49 89 2180 9175
Email: wirsing (at) ifi.lmu.de
Foto of Prof. Dr. Dr. h.c. Martin Wirsing

Activities

Research

  • 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
JavaBookCoverHoch

More selected books

Sensoria LNCS     Proof as Programs      Aussagenlogik Amazon

FASE 2009     SW-Intensive Systems 2008     TGC 2010     KSEM 2015