En 1985, il est nommé professeur titulaire de chaire en informatique à l'université de Passau, puis en 1992 professeur titulaire de chaire à l'université Louis-et-Maximilien de Munich, où il dirige le groupe de recherches en programmation et génie logiciel jusqu’en 2015[4].
Martin Wirsing est membre de plusieurs conseils scientifiques d'organismes académiques dans divers pays d'Europe: Université de Bordeaux[7], Institut Mines-Télécom[8], IMDEA Software Madrid[9], Max-Planck-Institut für Psychiatrie München[10]. Il était membre du conseil scientifique de l’INRIA dont il était le président de 2007 à 2010.
Martin Wirsing est connu pour ses contributions à la spécification algébrique et aux méthodes formelles de développement de programmes. Ses intérêts de recherches actuels incluent le génie logiciel des systèmes adaptatifs et la numérisation des universités. De 2006 à 2015, il était le coordinateur des projets européens intégrés (IP) SENSORIA[14] (2006-2010) sur le génie logiciel des systèmes orientés service et de ASCENS[15] (2010-2015) sur des systèmes autonomes collectifs.
Articles (sélection)
Martin Wirsing, «Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen», Archiv für mathematische Logik und Grundlagenforschung, vol.19, nos1-2, , p.97-109
Manfred Broy, Martin Wirsing et Claude Pair, «A Systematic Study of Models of Abstract Data Types», Theoretical Computer Science, vol.33, , p.139-174
Martin Wirsing, «Structured algebraic specifications: A kernel language», Theoretical Computer Science, vol.43, , p.123-250
Martin Wirsing, «Algebraic Specification», dans J. van Leeuwen (éditeur), Handbook of Theoretical Computer Science, Amsterdam: North-Holland, , 675-788p. (ISBN978-0444880741)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus et Martin Wirsing, «An Event-Based Structural Operational Semantics of Multi-Threaded Java», dans Jim Alves-Foss (éditeur), Formal Syntax and Semantics of Java, vol.1523, Lecture Notes in Computer Science, Berlin: Springer, , 157-200p. (ISBN978-3-540-48737-1)
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer et Martin Wirsing, «Stable Availability under Denial of Service Attacks through Formal Patterns», dans Juan de Lara, Andrea Zisman (éditeurs), Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, vol.7212, Lecture Notes in Computer Science, Berlin: Springer, , 78-93p. (ISBN978-3-642-28871-5)
Lenz Belzner, Rolf Hennicker et Martin Wirsing, «OnPlan: A Framework for Simulation-Based Online Planning», dans Christiano Braga, Peter Csaba Ölveczky (éditeurs), Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, vol.9539, Lecture Notes in Computer Science, Berlin: Springer, , 1-30p. (ISBN978-3-319-28933-5)
Livres
(en) Iman Poernomo, John N. Crossley et Martin Wirsing, Adapting Proofs-as-Programs: The Curry--Howard Protocol, New York, Monographs in Computer Science, Berlin: Springer, , 420p. (ISBN978-0-387-23759-6, lire en ligne).
(de) Friedrich L. Bauer et Martin Wirsing, Elementare Aussagenlogik, Springer, , 228p. (ISBN978-3-540-52974-3 et 3540529748).
Édition de livres
Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl et Axel Rauschmayer (éditeurs), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions, vol.5380, Lecture Notes in Computer Science, Berlin: Springer, , 265p. (ISBN978-3-540-89436-0, lire en ligne)
Martin Wirsing, Matthias Hölzl (éditeurs), Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, vol.6582, Lecture Notes in Computer Science, Berlin: Springer, , 737p. (ISBN978-3-642-20400-5, lire en ligne)
Martin Wirsing, Matthias Hölzl, Nora Koch et Philip Mayer (éditeurs), Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project, vol.8998, Lecture Notes in Computer Science, Berlin: Springer, , 533p. (ISBN978-3-319-16309-3)
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss et Laith Raed, «Ode to the PST», dans: Software, Services, and Systems, p.3–22.
Software Engineering for Service-Oriented Overlay Computers. IST project funded by the EU as Integrated Project (IP) in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC). Consulté le 11 septembre 2016 (anglais).
Autonomic Service-Component Ensembles. IST project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). Consulté le 11 septembre 2016 (anglais).
Bibliographie
Rocco De Nicola et Rolf Hennicker (éditeurs), Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Springer International Publishing, coll.«Lecture Notes in Computer Science Series» (no8950), , xiv+694 (ISBN978-3-319-15544-9 et 978-3-319-15545-6, DOI10.1007/978-3-319-15545-6)