Martin Wirsing Explained

Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

Biography

Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) 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.[1] Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen).[2] 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.[3] [4] Several years he served as Dean, Head of Department and Vice President of the Senat of LMU. Since 2010 he is Vice President for Teaching and Studies of LMU.[5] In July 2016, he was awarded a Degree of Doctor of Science (Honoris Causa) by Royal Holloway, University of London.[6] [7]

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[8] (2006-2010) on software engineering for service-oriented systems and ASCENS[9] (2010-2015) 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.[10] Currently, he is a member of the board of trustees of Max Planck Institute of Psychiatry[11] and of the scientific committees of the University of Bordeaux[12] and IMDEA Software Institute.[13] He is a member of the editorial board of several scientific journals and book series including Theoretical Computer Science (journal), International Journal of Software and Informatics, and Electronic Proceedings in Theoretical Computer Science.

Selected papers and books

External links

Notes and References

  1. Book: Software, Services, and Systems . A Homage to Martin Wirsing . De Nicola . Rocco . Hennicker . Rolf . De Nicola . Rocco . Hennicker . Rolf. Lecture Notes in Computer Science Series . 8950 . 1–12 . 978-3-319-15545-6. 2015 . Springer International Publishing .
  2. .
  3. Book: Software, Services, and Systems . A Homage to Martin Wirsing . De Nicola . Rocco . Hennicker . Rolf . De Nicola . Rocco . Hennicker . Rolf. Lecture Notes in Computer Science Series . 8950 . 1–12 . 978-3-319-15545-6. 2015 . Springer International Publishing .
  4. Book: Software, Services, and Systems . Ode to the PST . Hölzl . Matthias M. . Koch. Nora . Mayer. Philip . Schroeder. Andreas . Belzner. Lenz. Busch. Marianne . Fasching. Anton . Klarl. Annabelle. Kroiss. Christian . Raed. Laith . De Nicola . Rocco . Hennicker . Rolf. Lecture Notes in Computer Science Series . 8950 . 13–23 . 978-3-319-15545-6. 2015 . Springer International Publishing .
  5. Web site: Three new vice presidents at LMU (German). LMU Munich Aktuelles. 2010-07-27. 2018-09-07.
  6. Web site: Honorary Degrees conferred at Summer Graduation Ceremonies. Royal Holloway College News. 2016-07-21. 2016-08-01. https://web.archive.org/web/20160801144932/https://www.royalholloway.ac.uk/aboutus/newsandevents/news/newsarticles/honorary-degrees-conferred-at-summer-graduation-ceremonies.aspx. 2016-08-01. dead.
  7. Web site: Honorary doctorate for Martin Wirsing. LMU Munich News. 2016-07-21. 2016-08-01.
  8. Book: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing . Wirsing . Martin . Hölzl . Matthias M. . Lecture Notes in Computer Science Series . 6582 . 978-3-642-20400-5. 2011 . Springer Science+Business Media.
  9. Book: Software Engineering for Collective Autonomic Systems - The ASCENS Approach . Wirsing . Martin . Hölzl . Matthias M. . Koch . Nora . Mayer . Philip. Lecture Notes in Computer Science Series . 8998 . 978-3-319-16309-3. 2015 . .
  10. Web site: Conseil Scientifique de l'Institut Mines-Télécom. Institut Mines-Télécom. http://archive.wikiwix.com/cache/20160911145526/https://www.mines-telecom.fr/recherche-innovation/strategie-ri/conseil-scientifique/. 2016-09-11. dead. 2017-06-02.
  11. Web site: Max Planck Institute of Psychiatry - Board of Trustees . . 2018-09-10 . http://archive.wikiwix.com/cache/20160911145526/http://www.psych.mpg.de/49402/trustees . 2016-09-11 . live .
  12. Web site: Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux. University of Bordeaux. 2016-12-03.
  13. Web site: Scientific Advisory Board of IMDEA Software. . 2016-08-16.
  14. Web site: Prof. Dr. Dr. H.c. Martin Wirsing, LMU Munich.
  15. Web site: Organizational structure.
  16. Web site: DBLP: Martin Wirsing .