Martin Wirsing (computer scientist)

from Wikipedia, the free encyclopedia

Martin Hermann Friedrich Wirsing (born December 24, 1948 in Bayreuth ) is a German computer scientist and professor at the Ludwig Maximilians University in Munich .

Life

Wirsing studied mathematics at the Universities of Paris 7 and LMU Munich and graduated in 1971 with the Maitrîse-ès-Sciences Mathématiques and in 1974 with a diploma in mathematics. In 1976 he received his doctorate from Kurt Schütte at the LMU with a thesis on "The decision problem of predicate logic 1st level with function signs in Herbrand formulas". From 1975 to 1983 he was a research assistant with Friedrich L. Bauer at the Technical University of Munich , where he also completed his habilitation in 1984. After serving as a professor at the University of Passau from 1983 to 1985 , he was full professor for computer science and holder of the chair for computer science with a focus on programming languages, data structures and specification methods. In 1992 he returned to LMU Munich, where he headed the chair for programming and software technology until 2015. From 2010 to 2019 he was Vice President for Studies at the LMU Munich. In July 2016 he received an honorary doctorate from the Royal Holloway College, University of London.

Wirsing's research areas are software engineering and its mathematical foundations. He is the author and editor of around 20 books and has published around 200 scientific papers. Martin Wirsing was u. a. Coordinator of the EU projects SENSORIA for software engineering of service-oriented systems and ASCENS for the systematic development of autonomous systems. For several years he was chairman of the scientific advisory board of INRIA France; He is currently a member of the board of trustees of the Max Planck Institute for Psychiatry Munich and the scientific advisory boards of Institut Mines-Télécom, IMDEA Software (Madrid) and the Excellence Initiative at the University of Bordeaux.

Publications (selection)

  • M. Wirsing: Small undecidable classes of predicate logic with identity and function signs. Archive for Mathematical Logic and Basic Research 19: 1-2, 1978, pp. 97-109.
  • Manfred Broy , Martin Wirsing: Partial Abstract Types. In: Acta Informatica 18, 1982, pp. 47-64, ISSN 0001-5903
  • M. Wirsing: Structured algebraic specifications: A kernel language. Theoretical Computer Science 43, 1986, pp. 123-250.
  • M. Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 675-788, ISBN 978-0-444-88074-1
  • FL Bauer , M. Wirsing: Elementary propositional logic. Book. Springer-Verlag, Berlin-Heidelberg, March 1991, 228 pages, ISBN 978-3-540-52974-3
  • 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

literature

  • 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

Individual evidence

  1. ^ Rocco De Nicola, Rolf Hennicker: A Homage to Martin Wirsing . In: Rocco De Nicola, Rolf Hennicker (Eds.): Software, Services, and Systems . Lecture Notes in Computer Science Series, Volume 8950. Springer International Publishing, 2015, ISBN 978-3-319-15545-6 , pp. 1-12 .
  2. ↑ Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed: Ode to the PST . In: Rocco De Nicola, Rolf Hennicker (Eds.): Software, Services, and Systems . Lecture Notes in Computer Science Series, Volume 8950, 2015, ISBN 978-3-319-15544-9 , pp. 13-23 .
  3. ^ Honorary Degrees conferred at Summer Graduation Ceremonies. Royal Holloway College press release, July 21, 2016, accessed August 1, 2016 .
  4. ↑ Press release of the LMU Munich .: Martin Wirsing appointed honorary doctor. July 26, 2016, accessed August 1, 2016 .
  5. ^ Software Engineering for Service-Oriented Overlay Computers. IST project funded by the EU as Integrated Project (IP) in the 6th Framework Program (FP6) as part of the Global Computing Initiative (GC), accessed on August 1, 2016 .
  6. ^ Autonomic Service-Component Ensembles. IST project funded by the EU as Integrated Project (IP) in the 7th Framework Program (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive), accessed on August 1, 2016 (English).
  7. ^ Board of Trustees of the Max Planck Institute for Psychiatry. Retrieved August 1, 2016 .
  8. ^ Conseil Scientifique de l'Institut Mines-Télécom. (No longer available online.) Archived from the original on August 16, 2016 ; accessed on August 16, 2016 . Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / www.mines-telecom.fr
  9. ^ Scientific Advisory Board of IMDEA Software. Accessed August 16, 2016 .
  10. ^ Initiative d'excellence de l 'Université de Bordeaux - Les membres du Comité stratégique. Accessed June 2, 2017 .

Web links

personal data
SURNAME Savoy cabbage, Martin
ALTERNATIVE NAMES Wirsing, Martin Hermann Friedrich (full name)
BRIEF DESCRIPTION German computer scientist and professor at the Ludwig Maximilians University in Munich
DATE OF BIRTH December 24, 1948
PLACE OF BIRTH Bayreuth