Martin Wirsing


Martin Wirsing is a German computer scientist, and Professor emeritus and former vice president of Ludwig-Maximilians-Universität München, Germany.
WWW Official Site

Biography

Wirsing studied Mathematics at Ludwig-Maximilians-Universität München and at Université Paris 7, obtaining the Diplom in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the Université Paris 7. Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic. In 1975-1983 he was a research assistant at the chair of F.L. Bauer at Technical University of Munich where in 1984 he completed his Habilitation in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU as the Chair of Programming and Software Engineering. Several years he served as Dean, Head of Department and Vice President of the Senat of LMU. In 2010 - 2019 he served as Vice President for Teaching and Studies of LMU. In July 2016, he was awarded a Degree of Doctor of Science by Royal Holloway, University of London.
His research interests comprise software engineering and its formal foundations, autonomous self-aware systems, and digitisation of universities. In 2006-2015 he was coordinating the European IP projects SENSORIA on software engineering for service-oriented systems and ASCENS on engineering collective autonomic systems. In 2007-2010 Martin Wirsing was the chairman of the Scientific Board of INRIA and in 2014-2017 a member of the scientific committee of Institut Mines-Télécom. He was a member of the board of trustees of Max Planck Institute of Psychiatry and of the scientific committees of the University of Bordeaux. Currently, he is a member of the scientific advisory boards of IMDEA Software Institute and of the excellence initiative of Université de Lorraine.
Martin Wirsing is co-editor in chief of the International Journal on Software Tools for Technology Transfer and editor of Electronic Proceedings in Theoretical Computer Science.
He previously served on the editorial boards of Theoretical [Computer Science (journal)] and International Journal of Software and Informatics.

Selected papers and books

  • Martin Wirsing: Algebraic Specification. In: J. van Leeuwen : Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 675–788
  • Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Jim Alves-Foss : Formal Syntax and Semantics of Java, Lect. Notes Comp. Sci. 1523, Berlin: Springer, 1999, pp. 157–200
  • Iman Poernomo, John Crossley, Martin Wirsing: Adapting Proofs-as-Programs: The Curry—Howard Protocol. Springer Monographs in Computer Science, 2005, 420 pages
  • Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer : Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science 5380, Springer-Verlag, 2008, 265 pages
  • Martin Wirsing, Matthias Hölzl : Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, 737 pages
  • Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. In: Juan de Lara, Andrea Zisman : Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, pp. 78–93
  • Martin Wirsing, Matthias Hölzl, Nora Koch and Philip Mayer. Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project, Vol. 8998 LNCS, Springer, 2015, 533 pages
  • Lenz Belzner, Rolf Hennicker, Martin Wirsing: OnPlan: A Framework for Simulation-Based Online Planning. Christiano Braga, Peter Csaba Ölveczky: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14–16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, pp. 1–30