{{Short description|German computer scientist (born 1948)}} {{Infobox scientist | name = Martin Hermann Friedrich Wirsing | image = File:Martin Wirsing.jpg | caption = Wirsing (2025) | birth_date = {{birth date and age|1948|12|24}} | field = Computer science | work_institution = LMU Munich <br /> Technical University of Munich <br /> University of Passau | alma_mater = LMU Munich <br /> Université Paris VII | thesis_year = 1976 | thesis_title = Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen | doctoral_advisor = Kurt Schütte }}
{{BLP sources|date=March 2017}} '''Martin Wirsing''' (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor emeritus and former vice president of LMU Munich, Germany.
== Biography == Wirsing studied Mathematics at LMU Munich and at Université Paris VII, obtaining the Diplom in Mathematics from LMU Munich and the Mâitrise-ès-Sciences Mathématiques at Université Paris VII.<ref>{{cite book | title = Software, Services, and Systems | chapter = A Homage to Martin Wirsing | author1-last=De Nicola | author1-first=Rocco |author2-last= Hennicker | author2-first=Rolf |editor1-last=De Nicola |editor1-first=Rocco |editor2-last=Hennicker |editor2-first=Rolf| series= Lecture Notes in Computer Science Series |volume=8950 | pages=1–12 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> Supervised by Kurt Schütte, he received his PhD from LMU Munich in 1976, with a thesis on a topic in mathematical logic (<span lang="de" dir="ltr">Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen</span>).<ref>{{MathGenealogy|21918|Martin Wirsing}}.</ref> From 1975 to 1983, he was a research assistant at the chair of F.L. Bauer at the Technical University of Munich, where he completed his Habilitation in Informatics in 1984. In 1985, Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU Munich as the Chair of Programming and Software Engineering.<ref>{{cite book | title = Software, Services, and Systems | chapter = A Homage to Martin Wirsing | author1-last=De Nicola | author1-first=Rocco |author2-last= Hennicker | author2-first=Rolf |editor1-last=De Nicola |editor1-first=Rocco |editor2-last=Hennicker |editor2-first=Rolf| series= Lecture Notes in Computer Science Series |volume=8950 | pages=1–12 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref><ref>{{cite book | title = Software, Services, and Systems | chapter = Ode to the PST | author1-last=Hölzl | author1-first=Matthias M. |author2-last= Koch| author2-first=Nora | author3-last= Mayer| author3-first=Philip | author4-last= Schroeder| author4-first=Andreas | author5-last= Belzner| author5-first=Lenz| author6-last= Busch| author6-first=Marianne | author7-last= Fasching| author7-first=Anton | author8-last= Klarl| author8-first=Annabelle| author9-last= Kroiss| author9-first=Christian | author10-last= Raed| author10-first=Laith | editor1-last=De Nicola |editor1-first=Rocco |editor2-last=Hennicker |editor2-first=Rolf| series= Lecture Notes in Computer Science Series |volume=8950 | pages=13–23 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> He served several years as Dean, Head of Department and Vice President of the Senate of LMU Munich. From 2010 to 2019, he served as Vice President for Teaching and Studies of LMU Munich.<ref>{{cite web|url= https://www.uni-muenchen.de/aktuelles/news/2010/p-17-10.html|title=Three new Vice Presidents at LMU (in German)|publisher=LMU Munich News|date=2010-07-27|access-date=2015-10-09|archive-url=https://web.archive.org/web/20151009120356/https://www.uni-muenchen.de/aktuelles/news/2010/p-17-10.html|archive-date=2015-10-09}}</ref> In July 2016, he was awarded a Degree of Doctor of Science (Honoris Causa) by Royal Holloway, University of London.<ref>{{cite web|url=https://www.royalholloway.ac.uk/aboutus/newsandevents/news/newsarticles/honorary-degrees-conferred-at-summer-graduation-ceremonies.aspx|title=Honorary Degrees conferred at Summer Graduation Ceremonies|publisher=Royal Holloway College News|date=2016-07-21|access-date=2016-08-01|archive-url=https://web.archive.org/web/20160801144932/https://www.royalholloway.ac.uk/aboutus/newsandevents/news/newsarticles/honorary-degrees-conferred-at-summer-graduation-ceremonies.aspx|archive-date=2016-08-01}}</ref><ref>{{cite web |url=https://www.uni-muenchen.de/aktuelles/news/2016/wirsing_ehrendoktor.html|title=Honorary doctorate for Martin Wirsing|publisher=LMU Munich News|date=2016-07-21|access-date=2016-08-01|archive-url=https://web.archive.org/web/20160801144934/https://www.uni-muenchen.de/aktuelles/news/2016/wirsing_ehrendoktor.html|archive-date=2016-08-01}}</ref>
His research interests comprise software engineering and its formal foundations, autonomous self-aware systems, and digitisation of universities. From 2006 to 2015, he was coordinating the European IP projects SENSORIA<ref>{{cite book | title= Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing | editor1-last=Wirsing |editor1-first=Martin |editor2-last=Hölzl |editor2-first=Matthias M. | series= Lecture Notes in Computer Science Series |volume=6582 | isbn = 978-3-642-20400-5| year = 2011 | publisher = Springer Science+Business Media}}</ref> (2006 to 2010) on software engineering for service-oriented systems and ASCENS<ref>{{cite book | title=Software Engineering for Collective Autonomic Systems - The ASCENS Approach | editor1-last=Wirsing |editor1-first=Martin |editor2-last=Hölzl |editor2-first=Matthias M. | editor3-last=Koch |editor3-first=Nora |editor4-last=Mayer |editor4-first=Philip| series= Lecture Notes in Computer Science Series |volume=8998 | isbn = 978-3-319-16309-3| year = 2015 | publisher = Springer Science+Business Media }}</ref> (2010 to 2015) on engineering collective autonomic systems. From 2007 to 2010, Wirsing was the chairman of the Scientific Board of INRIA and from 2014 to 2017 a member of the scientific committee of Institut Mines-Télécom.<ref>{{cite web|url=https://www.mines-telecom.fr/recherche-innovation/strategie-ri/conseil-scientifique/|title=Conseil Scientifique de l'Institut Mines-Télécom|publisher=Institut Mines-Télécom|archive-url=http://archive.wikiwix.com/cache/20160911145526/https://www.mines-telecom.fr/recherche-innovation/strategie-ri/conseil-scientifique/|archive-date=2016-09-11|url-status=dead|access-date=2017-06-02}}</ref> He was a member of the board of trustees of Max Planck Institute of Psychiatry<ref>{{cite web | url=http://www.psych.mpg.de/49402/trustees | title=Max Planck Institute of Psychiatry - Board of Trustees | publisher=Max Planck Institute of Psychiatry | access-date=2017-01-01 | archive-url=http://archive.wikiwix.com/cache/20160911145526/http://www.psych.mpg.de/49402/trustees | archive-date=2016-09-11 | url-status=bot: unknown }}</ref> and of the scientific committees of the University of Bordeaux.<ref>{{Cite web|url=http://idex.u-bordeaux.fr/fr/n/L-IdEx-Bordeaux/Les-comites/Les-membres-du-Comite-strategique/r3198.html|title=Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux| publisher=University of Bordeaux|access-date=2017-11-13|archive-url=https://web.archive.org/web/20171113222601/http://idex.u-bordeaux.fr/fr/n/L-IdEx-Bordeaux/Les-comites/Les-membres-du-Comite-strategique/r3198.html|archive-date=2017-11-13}}</ref> Currently, he is a member of the scientific advisory boards of IMDEA Software Institute<ref>{{ cite web |url=http://software.imdea.org/about/scientific_advisory_board.html| title=Scientific Advisory Board of IMDEA Software| publisher=IMDEA Software Institute | access-date=2016-08-16}}</ref> and of the excellence initiative of Université de Lorraine.<ref>{{ cite web |url=https://www.univ-lorraine.fr/lue/gouvernance/| title=Gouvernance| publisher=Lorraine Université d’Excellence | access-date=2025-08-29 |archive-url= https://web.archive.org/web/20240424104422/https://www.univ-lorraine.fr/lue/gouvernance/| archive-date=2024-04-24 | url-status=live}}</ref>
Wirsing is co-editor in chief (together with Bernhard Steffen) of the International Journal on Software Tools for Technology Transfer (STTT) <ref>{{cite web|access-date=2025-09-01 |archive-date=2025-03-13 |archive-url=https://web.archive.org/web/20250313181903/https://link.springer.com/journal/10009/editorial-board?error=cookies_not_supported&code=5b43161a-8688-4757-8552-93b1c0a23318 |language=en |publisher=International Journal on Software Tools for Technology Transfer |title=Editorial Board |url=https://link.springer.com/journal/10009/editorial-board}}<!-- auto-translated from German by Module:CS1 translator --></ref> and editor of Electronic Proceedings in Theoretical Computer Science (EPTCS).<ref>{{cite web|access-date=2025-09-01 |archive-date=2011-12-07 |archive-url=https://web.archive.org/web/20111207233706/https://editors.eptcs.org/ |language=en |publisher=Electronic Proceedings in Theoretical Computer Science |title=Editorial Board |url=https://editors.eptcs.org/}}<!-- auto-translated from German by Module:CS1 translator --></ref> He previously served on the editorial boards of Theoretical Computer Science (journal) and International Journal of Software and Informatics.
== Selected papers and books == *{{cite journal |doi=10.1007/BF02011871 |title=Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen |trans-title=Small undecidable classes of predicate logic with identity and function symbols |language=German |journal=Archiv für Mathematische Logik und Grundlagenforschung |volume=19 |issue=1 |pages=97–109 |date=1978 |author-last1=Wirsing |author-first1=Martin |s2cid=46605535 |author-link=Martin Wirsing}} *{{cite journal |doi=10.1007/BF00625280 |title=Partial abstract types |journal=Acta Informatica |volume=18 |issue=1 |pages=47–64 |date=1982 |author-last1=Broy |author-first1=Manfred |author-link1=Manfred Broy |author-last2=Wirsing |author-first2=Martin |s2cid=11391201 |author-link2=Martin Wirsing}} *{{cite journal |doi=10.1016/0304-3975(86)90051-4 |title=Structured algebraic specifications: A Kernel language |journal=Theoretical Computer Science |volume=42 |pages=123–249 |date=1986 |author-last1=Wirsing |author-first1=Martin |author-link1=Martin Wirsing|doi-access=free }} * Martin Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 675–788 ({{ISBN|978-0444880741}}) * {{cite book |author-first1=Friedrich Ludwig |author-last1=Bauer |author-link1=Friedrich Ludwig Bauer |author-first2=Martin |author-last2=Wirsing |author-link2=Martin Wirsing |title=Elementare Aussagenlogik |publisher=Springer-Verlag |location=Berlin / Heidelberg |language=German |date=March 1991 |isbn=3-540-52974-8 |url=https://books.google.com/books?id=Ff58BwAAQBAJ}} * Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Jim Alves-Foss (ed.): Formal Syntax and Semantics of Java, Lect. Notes Comp. Sci. 1523, Berlin: Springer, 1999, pp. 157–200 ({{ISBN|978-3-540-48737-1}}) * Iman Poernomo, John Crossley, Martin Wirsing: Adapting Proofs-as-Programs: The Curry—Howard Protocol. Springer Monographs in Computer Science, 2005, 420 pages ({{ISBN|978-0-387-23759-6}}) * Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science 5380, Springer-Verlag, 2008, 265 pages ({{ISBN|978-3-540-89436-0}}) * Martin Wirsing, Matthias Hölzl (Eds.): 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 ({{ISBN|978-3-642-20400-5}}) * 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 (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, pp. 78–93 ({{ISBN|978-3-642-28871-5}}) * Martin Wirsing, Matthias Hölzl, Nora Koch and Philip Mayer (eds.). Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project, Vol. 8998 LNCS, Springer, 2015, 533 pages ({{ISBN|978-3-319-16309-3}}) * 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 ({{ISBN|978-3-319-28933-5}})
==External links== * Home page<ref>{{ cite web |url=https://www.sosy-lab.org/people/wirsing/| title=Prof. Dr. Dr. h.c. Martin Wirsing| publisher=Software and Computational Systems Lab of LMU Munich | access-date=2025-08-29 |archive-url=https://web.archive.org/web/20170920101729/http://www.pst.ifi.lmu.de/People/staff/wirsing.html| archive-date=2017-09-20 | url-status=live}}</ref> * Archived Vice President's home page<ref>{{ cite web |url=http://www.en.uni-muenchen.de/about_lmu/introducing-lmu/organization/vice_presidents/vice_studium1/index.html| title=Vice President for Student Affairs| publisher=LMU Munich | access-date=2016-09-21| archive-url=https://web.archive.org/web/20160921170815/http://www.en.uni-muenchen.de/about_lmu/introducing-lmu/organization/vice_presidents/vice_studium1/index.html| archive-date=2016-09-21}}</ref> * Rocco De Nicola, 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. Lecture Notes in Computer Science 8950, Springer 2015, {{ISBN|978-3-319-15544-9}} * Publications of Martin Wirsing<ref>{{cite web | url=http://dblp.uni-trier.de/pers/hd/w/Wirsing:Martin | title=DBLP: Martin Wirsing }}</ref> indexed by the DBLP Bibliography Server at the University of Trier
==References== {{reflist}}
{{authority control}}
{{DEFAULTSORT:Wirsing, Martin}} Category:German computer scientists Category:1948 births Category:Academic staff of the University of Passau Category:Academic staff of LMU Munich Category:LMU Munich alumni Category:Living people Category:Recipients of the Cross of the Order of Merit of the Federal Republic of Germany