Jump to content

Martin Wirsing: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
PrimeBOT (talk | contribs)
Bots
2,044,943 edits
m Replace magic links with templates per local RfC - BRFA
No edit summary
Line 5: Line 5:
Wirsing<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=Volume 8950 | pages=1-12 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> studied [[Mathematics]] at [[Ludwig-Maximilians-Universität München]] (LMU) and at [[Université Paris VII|Université Paris 7]], obtaining the [[Diplom]] in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the [[Université Paris VIII|Université Paris 7]]. 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). 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.<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=Volume 8950 | pages=13-23 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> 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. 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|first=|publisher=Royal Holloway College News|date=2016-07-21|access-date=2016-08-01}}</ref><ref>{{cite web |url=http://www.en.uni-muenchen.de/news/newsarchiv/2016/wirsing_honorary_doctorate.html|title=Honorary doctorate for Martin Wirsing|publisher=LMU Munich News|date=2016-07-21|access-date=2016-08-01}}</ref>
Wirsing<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=Volume 8950 | pages=1-12 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> studied [[Mathematics]] at [[Ludwig-Maximilians-Universität München]] (LMU) and at [[Université Paris VII|Université Paris 7]], obtaining the [[Diplom]] in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the [[Université Paris VIII|Université Paris 7]]. 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). 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.<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=Volume 8950 | pages=13-23 | isbn = 978-3-319-15545-6| year = 2015 | publisher = Springer International Publishing }}</ref> 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. 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|first=|publisher=Royal Holloway College News|date=2016-07-21|access-date=2016-08-01}}</ref><ref>{{cite web |url=http://www.en.uni-muenchen.de/news/newsarchiv/2016/wirsing_honorary_doctorate.html|title=Honorary doctorate for Martin Wirsing|publisher=LMU Munich News|date=2016-07-21|access-date=2016-08-01}}</ref>


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<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=Volume 6582 | isbn = 978-3-642-20400-5| year = 2011 | publisher = [[Springer Science+Business Media]]}}</ref> (2006-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=Volume 8998 | isbn = 978-3-319-16309-3| year = 2015 | publisher = [[Springer Science+Business Media]] }}</ref> (2010-2015) on engineering collective autonomic systems. In 2007-2010 Martin Wirsing was chairman of the Scientific Board of [[INRIA]]; currently, he is a member 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=2016-12-03}}</ref>, [[IMDEA]] Software Madrid<ref>{{ cite web |url=http://software.imdea.org/about/scientific_advisory_board.html| title=Scientific Advisory Board of IMDEA Software| publisher=[[IMDEA]] Software | access-date=2016-08-16}}</ref>, and the [[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]] | access-date=2016-08-16}}</ref>. 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]].
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<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=Volume 6582 | isbn = 978-3-642-20400-5| year = 2011 | publisher = [[Springer Science+Business Media]]}}</ref> (2006-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=Volume 8998 | isbn = 978-3-319-16309-3| year = 2015 | publisher = [[Springer Science+Business Media]] }}</ref> (2010-2015) on engineering collective autonomic systems. In 2007-2010 Martin Wirsing was chairman of the Scientific Board of [[INRIA]]; currently, he is a member 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=2016-12-03}}</ref>, [[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 the [[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]] | access-date=2016-08-16}}</ref>. 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 ==
== Selected papers and books ==

Revision as of 13:55, 13 November 2017

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[1] 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. 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). 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.[2] 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. In July 2016, he was awarded a Degree of Doctor of Science (Honoris Causa) by Royal Holloway, University of London.[3][4]

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[5] (2006-2010) on software engineering for service-oriented systems and ASCENS[6] (2010-2015) on engineering collective autonomic systems. In 2007-2010 Martin Wirsing was chairman of the Scientific Board of INRIA; currently, he is a member of the scientific committees of the University of Bordeaux[7], IMDEA Software Institute[8], and the Institut Mines-Télécom[9]. 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

  • Wirsing, Martin (1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Small undecidable classes of predicate logic with identity and function symbols]. Archiv für Mathematische Logik und Grundlagenforschung (in German). 19 (1): 97–109. doi:10.1007/BF02011871.
  • Broy, Manfred; Wirsing, Martin (1982). "Partial abstract types". Acta Informatica. 18 (1): 47–64. doi:10.1007/BF00625280.
  • Wirsing, Martin (1986). "Structured algebraic specifications: A Kernel language". Theoretical Computer Science. 42: 123–249. doi:10.1016/0304-3975(86)90051-4.
  • Martin Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 675–788 (ISBN 978-0444880741)
  • Bauer, Friedrich Ludwig; Wirsing, Martin (March 1991). Elementare Aussagenlogik (in German). Berlin / Heidelberg: Springer-Verlag. ISBN 3-540-52974-8.
  • 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)
  • Home page[10]
  • Home page at LMU[11]
  • 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[12] indexed by the DBLP Bibliography Server at the University of Trier

References

  1. ^ De Nicola, Rocco; Hennicker, Rolf (2015). "A Homage to Martin Wirsing". In De Nicola, Rocco; Hennicker, Rolf (eds.). Software, Services, and Systems. Lecture Notes in Computer Science Series. Vol. Volume 8950. Springer International Publishing. pp. 1–12. ISBN 978-3-319-15545-6. {{cite book}}: |volume= has extra text (help)
  2. ^ Hölzl, Matthias M.; Koch, Nora; Mayer, Philip; Schroeder, Andreas; Belzner, Lenz; Busch, Marianne; Fasching, Anton; Klarl, Annabelle; Kroiss, Christian; Raed, Laith (2015). "Ode to the PST". In De Nicola, Rocco; Hennicker, Rolf (eds.). Software, Services, and Systems. Lecture Notes in Computer Science Series. Vol. Volume 8950. Springer International Publishing. pp. 13–23. ISBN 978-3-319-15545-6. {{cite book}}: |volume= has extra text (help)
  3. ^ "Honorary Degrees conferred at Summer Graduation Ceremonies". Royal Holloway College News. 2016-07-21. Retrieved 2016-08-01.
  4. ^ "Honorary doctorate for Martin Wirsing". LMU Munich News. 2016-07-21. Retrieved 2016-08-01.
  5. ^ Wirsing, Martin; Hölzl, Matthias M., eds. (2011). Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science Series. Vol. Volume 6582. Springer Science+Business Media. ISBN 978-3-642-20400-5. {{cite book}}: |volume= has extra text (help)
  6. ^ Wirsing, Martin; Hölzl, Matthias M.; Koch, Nora; Mayer, Philip, eds. (2015). Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science Series. Vol. Volume 8998. Springer Science+Business Media. ISBN 978-3-319-16309-3. {{cite book}}: |volume= has extra text (help)
  7. ^ "Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux". University of Bordeaux. Retrieved 2016-12-03.
  8. ^ "Scientific Advisory Board of IMDEA Software". IMDEA Software Institute. Retrieved 2016-08-16.
  9. ^ "Conseil Scientifique de l'Institut Mines-Télécom". Institut Mines-Télécom. Retrieved 2016-08-16.
  10. ^ http://www.pst.ifi.lmu.de/People/staff/wirsing.html
  11. ^ http://www.en.uni-muenchen.de/about_lmu/introducing-lmu/organization/vice_presidents/vice_studium1/index.html
  12. ^ http://dblp.uni-trier.de/pers/hd/w/Wirsing:Martin
Retrieved from "https://en.wikipedia.org/w/index.php?title=Martin_Wirsing&oldid=810126373"