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 AllemagneRocco De Nicola et Rolf Hennicker, « A Homage to Martin Wirsing » dans : .. De 2010 à 2019, il est vice-président de la LMUVice president for teaching and studies (anglais) et Drei neue Vizepräsidenten an der LMU (allemand).
Biographie
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)..
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 2015Matthias 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 : ..
En 2016, il reçoit un doctorat honoris causa du Royal Holloway College de l'université de LondresHonorary Degrees conferred at Summer Graduation Ceremonies. Communication de presse de Royal Holloway College, Juillet 21, 2016. Consulté le 11 septembre 2016 (anglais).. En 2022, il reçoit la Croix du Service allemande.
Martin Wirsing est marié et a une fille et un petit-fils.
Responsabilités scientifiques Martin Wirsing est membre de plusieurs conseils scientifiques d'organismes académiques dans divers pays d'Europe : Université de Bordeaux., Institut Mines-Télécom Conseil scientifique de l’Institut Mines-Télécom. Consulté le 11 septembre 2016. , IMDEA Software Madrid Scientific Advisory Board of IMDEA Software. Consulté le 11 septembre 2016 (anglais). , Max-Planck-Institut für Psychiatrie MünchenKuratorium des Max-Planck-Instituts für Psychiatrie. Consulté le 11 septembre 2016 (allemand).. 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 ScienceEditorial Board: Logic, Semantics and Theory of Programming (TCS-B) , International Journal of Software and InformaticsEditorial Board of IJSI et Electronic Proceedings in Theoretical Computer ScienceEditorial Board of EPTCS.
Recherche
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 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). (2006-2010) sur le génie logiciel des systèmes orientés service et de ASCENS 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). (2010-2015) sur des systèmes autonomes collectifs.
Publications Articles (sélection)
Livres . . .
Édition de livres
Notes et références
Voir aussi Bibliographie
Liens externes Page personnelle Publications de Martin Wirsing sur DBLP
Catégorie:Informaticien allemand Catégorie:Personnalité en méthodes formelles Catégorie:Personnalité en informatique théorique Catégorie:Étudiant de l'université Paris-Diderot Catégorie:Professeur à l'université de Passau Catégorie:Naissance en décembre 1948 Catégorie:Naissance à Bayreuth Catégorie:Professeur à l'université Louis-et-Maximilien de Munich