www.wikidata.de-de.nina.az

Martin Wirsing Informatiker Martin Hermann Friedrich Wirsing 24 Dezember 1948 in Bayreuth ist ein deutscher Informatiker

Martin Wirsing (Informatiker)

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

Leben Bearbeiten

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. 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.

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 zum Software Engineering service-orientierter Systeme und ASCENS 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 und der wissenschaftlichen Beiräte von Institut Mines-Télécom, IMDEA Software (Madrid) und der Exzellenzinitiative der Universität Bordeaux.

Im März 2022 erhielt Wirsing das Bundesverdienstkreuz verliehen.

Veröffentlichungen (Auswahl) Bearbeiten

  • 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 Bearbeiten

  • 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 Bearbeiten

  1. Rocco De Nicola, Rolf Hennicker: A Homage to Martin Wirsing. In: Rocco De Nicola, Rolf Hennicker (Hrsg.): Software, Services, and Systems. Lecture Notes in Computer Science Series, Volume 8950. Springer International Publishing, 2015, ISBN 978-3-319-15545-6, S. 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 (Hrsg.): Software, Services, and Systems. Lecture Notes in Computer Science Series, Volume 8950, 2015, ISBN 978-3-319-15544-9, S. 13–23.
  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. (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 Bearbeiten

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
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Martin Hermann Friedrich Wirsing 24 Dezember 1948 in Bayreuth ist ein deutscher Informatiker und Professor an der Ludwig Maximilians Universitat Munchen Inhaltsverzeichnis 1 Leben 2 Veroffentlichungen Auswahl 3 Literatur 4 Einzelnachweise 5 WeblinksLeben BearbeitenWirsing studierte Mathematik an den Universitaten Paris 7 und LMU Munchen und schloss das Studium 1971 mit der Maitrise es Sciences Mathematiques und 1974 mit dem Diplom in Mathematik ab 1976 wurde er an der LMU von Kurt Schutte mit einer Arbeit uber Das Entscheidungsproblem der Pradikatenlogik 1 Stufe mit Funktionszeichen in Herbrandformeln promoviert Von 1975 bis 1983 war er wissenschaftlicher Mitarbeiter bei Friedrich L Bauer an der Technischen Universitat Munchen wo er 1984 auch habilitierte Nach einer Lehrstuhlvertretung von 1983 bis 1985 an der Universitat Passau war er dort ordentlicher Professor fur Informatik und Inhaber des Lehrstuhls fur Informatik mit Schwerpunkt Programmiersprachen Datenstrukturen und Spezifikationsmethoden 1992 kehrte er an die LMU Munchen zuruck und leitete dort bis 2015 den Lehrstuhl fur Programmierung und Softwaretechnik 1 2 Von 2010 bis 2019 war er an der LMU Munchen Vizeprasident fur den Bereich Studium Im Juli 2016 erhielt er die Ehrendoktorwurde des Royal Holloway College der Universitat London 3 4 Wirsings Forschungsbereiche sind Software Engineering und dessen mathematische Grundlagen Er ist Autor und Herausgeber von ca 20 Buchern und hat ca 200 wissenschaftliche Arbeiten veroffentlicht 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 fur Psychiatrie Munchen 7 und der wissenschaftlichen Beirate von Institut Mines Telecom 8 IMDEA Software Madrid 9 und der Exzellenzinitiative der Universitat Bordeaux 10 Im Marz 2022 erhielt Wirsing das Bundesverdienstkreuz verliehen 11 Veroffentlichungen Auswahl BearbeitenM Wirsing Kleine unentscheidbare Klassen der Pradikatenlogik mit Identitat und Funktionszeichen Archiv fur 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 Marz 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 Holzl 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 Holzl 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 Muhlbauer Musab AlTurki Jose 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 Holzl 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 Olveczky Formal Aspects of Component Software 12th International Conference FACS 2015 Niteroi Brazil October 14 16 2015 Revised Selected Papers Lecture Notes in Computer Science 9539 Springer 2016 S 1 30 ISBN 978 3 319 28933 5Literatur BearbeitenRocco 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 9Einzelnachweise Bearbeiten Rocco De Nicola Rolf Hennicker A Homage to Martin Wirsing In Rocco De Nicola Rolf Hennicker Hrsg Software Services and Systems Lecture Notes in Computer Science Series Volume 8950 Springer International Publishing 2015 ISBN 978 3 319 15545 6 S 1 12 Matthias M Holzl 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 Hrsg Software Services and Systems Lecture Notes in Computer Science Series Volume 8950 2015 ISBN 978 3 319 15544 9 S 13 23 Honorary Degrees conferred at Summer Graduation Ceremonies Pressemitteilung des Royal Holloway College 21 Juli 2016 abgerufen am 1 August 2016 englisch Pressemitteilung der LMU Munchen Martin Wirsing zum Ehrendoktor ernannt 26 Juli 2016 abgerufen am 1 August 2016 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 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 Kuratorium des Max Planck Instituts fur Psychiatrie Abgerufen am 1 August 2016 Conseil Scientifique de l Institut Mines Telecom Nicht mehr online verfugbar Archiviert vom Original am 16 August 2016 abgerufen am 16 August 2016 nbsp Info Der Archivlink wurde automatisch eingesetzt und noch nicht gepruft Bitte prufe Original und Archivlink gemass Anleitung und entferne dann diesen Hinweis 1 2 Vorlage Webachiv IABot www mines telecom fr Scientific Advisory Board of IMDEA Software Abgerufen am 16 August 2016 englisch Initiative d excellence de l Universite de Bordeaux Les membres du Comite strategique Abgerufen am 2 Juni 2017 englisch Martin Wirsing erhalt Bundesverdienstkreuz 14 Marz 2022 abgerufen am 23 August 2022 Weblinks BearbeitenSeite von Martin Wirsing am Institut fur Informatik an der LMU Munchen Seite von Martin Wirsing in der Hochschulleitung der LMU Munchen Veroffentlichungen von Martin Wirsing im DBLP Bibliotheksserver an der Universitat TrierNormdaten Person GND 14353582X lobid OGND AKS LCCN n85281290 VIAF 76878652 Wikipedia Personensuche PersonendatenNAME Wirsing MartinALTERNATIVNAMEN Wirsing Martin Hermann Friedrich vollstandiger Name KURZBESCHREIBUNG deutscher Informatiker und Professor an der Ludwig Maximilians Universitat MunchenGEBURTSDATUM 24 Dezember 1948GEBURTSORT Bayreuth Abgerufen von https de wikipedia org w index php title Martin Wirsing Informatiker amp oldid 235293452