Martin Wirsing (Informatiker)

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 12. September 2022 um 23:03 Uhr durch imported>MAY(143424) (→‎Weblinks).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Martin Hermann Friedrich Wirsing (* 24. Dezember 1948 in Bayreuth) ist ein deutscher Informatiker und Professor an der Ludwig-Maximilians-Universität München.

Leben

Wirsing studierte Mathematik an den Universitäten Paris 7 und LMU München und schloss das Studium 1971 mit der Maitrîse-ès-Sciences Mathématiques und 1974 mit dem Diplom in Mathematik ab. 1976 wurde er an der LMU von Kurt Schütte mit einer Arbeit über „Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Funktionszeichen in Herbrandformeln“ promoviert. Von 1975 bis 1983 war er wissenschaftlicher Mitarbeiter bei Friedrich L. Bauer an der Technischen Universität München, wo er 1984 auch habilitierte. Nach einer Lehrstuhlvertretung von 1983 bis 1985 an der Universität Passau war er dort ordentlicher Professor für Informatik und Inhaber des Lehrstuhls für Informatik mit Schwerpunkt Programmiersprachen, Datenstrukturen und Spezifikationsmethoden. 1992 kehrte er an die LMU München zurück und leitete dort bis 2015 den Lehrstuhl für Programmierung und Softwaretechnik.[1][2] Von 2010 bis 2019 war er an der LMU München Vizepräsident für den Bereich Studium. Im Juli 2016 erhielt er die Ehrendoktorwürde des Royal Holloway College der Universität London.[3][4]

Wirsings Forschungsbereiche sind Software Engineering und dessen mathematische Grundlagen. Er ist Autor und Herausgeber von ca. 20 Büchern und hat ca. 200 wissenschaftliche Arbeiten veröffentlicht. Martin Wirsing war u. a. Koordinator der EU-Projekte SENSORIA[5] zum Software Engineering service-orientierter Systeme und ASCENS[6] zur systematischen Entwicklung von autonomen Systemen. Er war mehrere Jahre Vorsitzender des wissenschaftlichen Beirats der INRIA Frankreich; zurzeit ist er Mitglied des Kuratoriums des Max-Planck-Instituts für Psychiatrie München[7] und der wissenschaftlichen Beiräte von Institut Mines-Télécom,[8] IMDEA Software (Madrid)[9] und der Exzellenzinitiative der Universität Bordeaux.[10]

Im März 2022 erhielt Wirsing das Bundesverdienstkreuz verliehen.[11]

Veröffentlichungen (Auswahl)

  • M. Wirsing: Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Archiv für mathematische Logik und Grundlagenforschung 19: 1–2, 1978, S. 97–109.
  • Manfred Broy, Martin Wirsing: Partial Abstract Types. In: Acta Informatica 18, 1982, S. 47–64, ISSN 0001-5903
  • M. Wirsing: Structured algebraic specifications: A kernel language. Theoretical Computer Science 43, 1986, S. 123–250.
  • M. Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, S. 675–788, ISBN 978-0-444-88074-1
  • F. L. Bauer, M. Wirsing: Elementare Aussagenlogik. Book. Springer-Verlag, Berlin-Heidelberg, März 1991, 228 Seiten, 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, S. 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 Seiten, 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 Seiten, 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 Seiten, 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, S. 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 Seiten, 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, S. 1–30, ISBN 978-3-319-28933-5

Literatur

  • 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

Einzelnachweise

  1. ↑
  2. ↑
  3. ↑ Honorary Degrees conferred at Summer Graduation Ceremonies. Pressemitteilung des Royal Holloway College, 21. Juli 2016, abgerufen am 1. August 2016 (englisch).
  4. ↑ Pressemitteilung der LMU München.: Martin Wirsing zum Ehrendoktor ernannt. 26. Juli 2016, abgerufen am 1. August 2016.
  5. ↑ Software Engineering for Service-Oriented Overlay Computers. IST project funded by the EU as Integrated Project (IP) in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC), abgerufen am 1. August 2016 (englisch).
  6. ↑ Autonomic Service-Component Ensembles. IST project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive), abgerufen am 1. August 2016 (englisch).
  7. ↑ Kuratorium des Max-Planck-Instituts für Psychiatrie. Abgerufen am 1. August 2016.
  8. ↑ Conseil Scientifique de l’Institut Mines-Télécom. (Nicht mehr online verfügbar.) Archiviert vom Original am 16. August 2016; abgerufen am 16. August 2016.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/www.mines-telecom.fr
  9. ↑ Scientific Advisory Board of IMDEA Software. Abgerufen am 16. August 2016 (englisch).
  10. ↑ Initiative d'excellence de l' Université de Bordeaux - Les membres du Comité stratégique. Abgerufen am 2. Juni 2017 (englisch).
  11. ↑ Martin Wirsing erhält Bundesverdienstkreuz. 14. März 2022, abgerufen am 23. August 2022.

Weblinks

Personendaten
NAME Wirsing, Martin
ALTERNATIVNAMEN Wirsing, Martin Hermann Friedrich (vollständiger Name)
KURZBESCHREIBUNG deutscher Informatiker und Professor an der Ludwig-Maximilians-Universität München
GEBURTSDATUM 24. Dezember 1948
GEBURTSORT Bayreuth
Abgerufen von „https://de.wikiup.org/index.php?title=Martin_Wirsing_(Informatiker)&oldid=226118075“