Martin Wirsing

Martin Wirsing (född 24 december 1948 i Bayreuth ) är en tysk datavetare och professor vid Ludwig-Maximilians-Universität München, Tyskland.

Biografi

Wirsing studerade matematik vid Ludwig-Maximilians-Universität München (LMU) och vid Université Paris 7 , och erhöll Diplom i matematik från LMU och Mâitrise-ès-Sciences Mathématiques vid Université Paris 7 . Under handledning av Kurt Schütte disputerade han från LMU 1976, med en avhandling om ett ämne i matematisk logik (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). 1975-1983 var han forskarassistent vid ordföranden för FL Bauer vid Tekniska universitetet i München där han 1984 avslutade sin habilitering i informatik; 1985 blev Wirsing professor och ordförande för informatik vid University of Passau och 1992 återvände han till LMU som ordförande för programmering och mjukvaruteknik. Flera år tjänstgjorde han som dekanus, avdelningschef och vicepresident för LMUs senat. Sedan 2010 är han vice rektor för undervisning och studier vid LMU. I juli 2016 tilldelades han en doktorsexamen (Honoris Causa) av Royal Holloway , University of London.

Hans forskningsintressen omfattar mjukvaruteknik och dess formella grunder, autonoma självmedvetna system och digitalisering av universitet. Under 2006-2015 koordinerade han de europeiska IP-projekten SENSORIA (2006-2010) om mjukvaruutveckling för tjänsteorienterade system och ASCENS (2010-2015) om tekniska kollektiva autonoma system. 2007-2010 var Martin Wirsing ordförande för INRIA: s vetenskapliga styrelse och 2014-2017 medlem av den vetenskapliga kommittén för Institut Mines-Télécom . För närvarande är han medlem i styrelsen för Max Planck Institute of Psychiatry och i de vetenskapliga kommittéerna vid University of Bordeaux och IMDEA Software Institute . Han är medlem i redaktionen för flera vetenskapliga tidskrifter och bokserier, inklusive Theoretical Computer Science (journal), International Journal of Software and Informatics och Electronic Proceedings in Theoretical Computer Science .

Utvalda papper och böcker

•   Wirsing, Martin (1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Små oavgjorda klasser av predikatlogik med identitets- och funktionssymboler]. Archiv für Mathematische Logik und Grundlagenforschung (på tyska). 19 (1): 97–109. doi : 10.1007/BF02011871 . S2CID 46605535 .
•   Broy, Manfred ; Wirsing, Martin (1982). "Delvisa abstrakta typer". Acta Informatica . 18 (1): 47–64. doi : 10.1007/BF00625280 . S2CID 11391201 .
• Wirsing, Martin (1986). "Structured algebraic specifications: A Kernel language" . Teoretisk datavetenskap . 42 : 123–249. doi : 10.1016/0304-3975(86)90051-4 .
•   Martin Wirsing: Algebraisk specifikation. I: J. van Leeuwen (red.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, s. 675–788 ( ISBN 978-0444880741 )
•   Bauer, Friedrich Ludwig ; Wirsing, Martin (mars 1991). Elementare Aussagenlogik (på tyska). Berlin / Heidelberg: Springer-Verlag . ISBN 3-540-52974-8 .
•   Pietro Cenciarelli, Alexander Knapp, Bernhard Reus och Martin Wirsing. En händelsebaserad strukturell operativ semantik av multitrådad Java. I: Jim Alves-Foss (red.): Formal Syntax and Semantics of Java, Lect. Anteckningar Comp. Sci. 1523, Berlin: Springer, 1999, s. 157–200 ( ISBN 978-3-540-48737-1 )
•   Iman Poernomo, John Crossley , Martin Wirsing: Anpassning av bevis-som-program: Curry-Howard-protokollet. Springer Monographs in Computer Science, 2005, 420 sidor ( ISBN 978-0-387-23759-6 )
•   Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer (red.): Programvaruintensiva system och nya datorparadigmer. Lecture Notes in Computer Science 5380, Springer-Verlag, 2008, 265 sidor ( ISBN 978-3-540-89436-0 )
•   Martin Wirsing, Matthias Hölzl (Red.): 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 sidor ( ISBN 978-3-642-20400-5 )
•   Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stabil tillgänglighet under Denial of Service Attacks through Formal Patterns. I: Juan de Lara, Andrea Zisman (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. Lecture Notes in Computer Science 7212, Springer 2012, s. 78–93 ( ISBN 978-3-642-28871 -5 )
•   Martin Wirsing, Matthias Hölzl, Nora Koch och Philip Mayer (red.). Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project, Vol. 8998 LNCS, Springer, 2015, 533 sidor ( 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 - 12:e internationella konferensen, FACS 2015, Niterói, Brasilien, 14–16 oktober 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, s. 1–30 ( ISBN 978-3-319-28933-5 )

externa länkar

• Hemsida
• Hemsida på LMU
•   Rocco De Nicola, Rolf Hennicker (red.):Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9
• Publikationer av Martin Wirsing indexerade av DBLP Bibliography Server vid universitetet i Trier