Martin Wirsing
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Site web |
Martin Wirsing (né le à Bayreuth en Allemagne) est un informaticien allemand et professeur à l'Université Louis-et-Maximilien de Munich (Ludwig-Maximilians-Universität München, abrégé en LMU) en Allemagne[1]. De 2010 à 2019, il est vice-président de la LMU[2].
Biographie
[modifier | modifier le code]Martin Wirsing fait des études de mathématiques à l'université Louis-et-Maximilien de Munich et à l’université Paris 7. En 1976, il soutient une thèse de doctorat à la LMU, supervisée par Kurt Schütte, et intitulée Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen (Le problème de décision de la logique des prédicats avec identité et symboles fonctionnels)[3].
En 1975, il commence des recherches en informatique dans le groupe de Friedrich L. Bauer à l’université technique de Munich où, en 1984, il soutient son habilitation en informatique.
En 1985, il est nommé professeur titulaire de chaire en informatique à l'université de Passau, puis en 1992 professeur titulaire de chaire à l'université Louis-et-Maximilien de Munich, où il dirige le groupe de recherches en programmation et génie logiciel jusqu’en 2015[4].
En 2016, il reçoit un doctorat honoris causa du Royal Holloway College de l'université de Londres[5]. En 2022, il reçoit la Croix du Service allemande[6].
Responsabilités scientifiques
[modifier | modifier le code]Martin Wirsing est membre de plusieurs conseils scientifiques d'organismes académiques dans divers pays d'Europe : Université de Bordeaux[7], Institut Mines-Télécom[8], IMDEA Software Madrid[9], Max-Planck-Institut für Psychiatrie München[10]. Il était membre du conseil scientifique de l’INRIA dont il était le président de 2007 à 2010.
Martin Wirsing est membre du comité éditorial de plusieurs journaux scientifiques, notamment Theoretical Computer Science[11], International Journal of Software and Informatics[12] et Electronic Proceedings in Theoretical Computer Science[13].
Recherche
[modifier | modifier le code]Martin Wirsing est connu pour ses contributions à la spécification algébrique et aux méthodes formelles de développement de programmes. Ses intérêts de recherches actuels incluent le génie logiciel des systèmes adaptatifs et la numérisation des universités. De 2006 à 2015, il était le coordinateur des projets européens intégrés (IP) SENSORIA[14] (2006-2010) sur le génie logiciel des systèmes orientés service et de ASCENS[15] (2010-2015) sur des systèmes autonomes collectifs.
Publications
[modifier | modifier le code]- Articles (sélection)
- Martin Wirsing, « Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen », Archiv für mathematische Logik und Grundlagenforschung, vol. 19, nos 1-2, , p. 97-109
- Manfred Broy, Martin Wirsing et Claude Pair, « A Systematic Study of Models of Abstract Data Types », Theoretical Computer Science, vol. 33, , p. 139-174
- Martin Wirsing, « Structured algebraic specifications: A kernel language », Theoretical Computer Science, vol. 43, , p. 123-250
- Martin Wirsing, « Algebraic Specification », dans J. van Leeuwen (éditeur), Handbook of Theoretical Computer Science, Amsterdam: North-Holland, , 675-788 p. (ISBN 978-0444880741)
- Pietro Cenciarelli, Alexander Knapp, Bernhard Reus et Martin Wirsing, « An Event-Based Structural Operational Semantics of Multi-Threaded Java », dans Jim Alves-Foss (éditeur), Formal Syntax and Semantics of Java, vol. 1523, Lecture Notes in Computer Science, Berlin: Springer, , 157-200 p. (ISBN 978-3-540-48737-1)
- Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer et Martin Wirsing, « Stable Availability under Denial of Service Attacks through Formal Patterns », dans Juan de Lara, Andrea Zisman (éditeurs), Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, vol. 7212, Lecture Notes in Computer Science, Berlin: Springer, , 78-93 p. (ISBN 978-3-642-28871-5)
- Lenz Belzner, Rolf Hennicker et Martin Wirsing, « OnPlan: A Framework for Simulation-Based Online Planning », dans Christiano Braga, Peter Csaba Ölveczky (éditeurs), Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, vol. 9539, Lecture Notes in Computer Science, Berlin: Springer, , 1-30 p. (ISBN 978-3-319-28933-5)
- Livres
- (en) Iman Poernomo, John N. Crossley et Martin Wirsing, Adapting Proofs-as-Programs : The Curry--Howard Protocol, New York, Monographs in Computer Science, Berlin: Springer, , 420 p. (ISBN 978-0-387-23759-6, lire en ligne).
- (de) Matthias Hölzl, Allaithy Raed et Martin Wirsing, Java kompakt : Eine Einführung in die Software-Entwicklung mit Java., Dordrecht, Springer, , x+252 (ISBN 978-3-642-28504-2, DOI 10.1007/978-3-642-28504-2, lire en ligne).
- (de) Friedrich L. Bauer et Martin Wirsing, Elementare Aussagenlogik, Springer, , 228 p. (ISBN 978-3-540-52974-3 et 3540529748).
- Édition de livres
- Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl et Axel Rauschmayer (éditeurs), Software-Intensive Systems and New Computing Paradigms : Challenges and Visions, vol. 5380, Lecture Notes in Computer Science, Berlin: Springer, , 265 p. (ISBN 978-3-540-89436-0, lire en ligne)
- Martin Wirsing, Matthias Hölzl (éditeurs), Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, vol. 6582, Lecture Notes in Computer Science, Berlin: Springer, , 737 p. (ISBN 978-3-642-20400-5, lire en ligne)
- Martin Wirsing, Matthias Hölzl, Nora Koch et Philip Mayer (éditeurs), Software Engineering for Collective Autonomic Systems : Results of the ASCENS Project, vol. 8998, Lecture Notes in Computer Science, Berlin: Springer, , 533 p. (ISBN 978-3-319-16309-3)
Notes et références
[modifier | modifier le code]- Rocco De Nicola et Rolf Hennicker, « A Homage to Martin Wirsing » dans : Software, Services, and Systems, p. 1–12.
- Vice president for teaching and studies (anglais) et Drei neue Vizepräsidenten an der LMU (allemand)
- (en) « Martin Wirsing », sur le site du Mathematics Genealogy Project.
- Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss et Laith Raed, « Ode to the PST », dans : Software, Services, and Systems, p. 3–22.
- Honorary Degrees conferred at Summer Graduation Ceremonies. Communication de presse de Royal Holloway College, Juillet 21, 2016. Consulté le 11 septembre 2016 (anglais).
- (de) « Martin Wirsing erhält Bundesverdienstkreuz », sur www.lmu.de (consulté le )
- « Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux », sur idex.u-bordeaux.fr (consulté le ).
- Conseil scientifique de l’Institut Mines-Télécom. Consulté le 11 septembre 2016.
- Scientific Advisory Board of IMDEA Software. Consulté le 11 septembre 2016 (anglais).
- Kuratorium des Max-Planck-Instituts für Psychiatrie. Consulté le 11 septembre 2016 (allemand).
- Editorial Board: Logic, Semantics and Theory of Programming (TCS-B)
- Editorial Board of IJSI
- Editorial Board of EPTCS
- 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). Consulté le 11 septembre 2016 (anglais).
- 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). Consulté le 11 septembre 2016 (anglais).
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- Rocco De Nicola et Rolf Hennicker (éditeurs), Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Springer International Publishing, coll. « Lecture Notes in Computer Science Series » (no 8950), , xiv+694 (ISBN 978-3-319-15544-9 et 978-3-319-15545-6, DOI 10.1007/978-3-319-15545-6)
