Martin Wirsing
From Wikipedia, the free encyclopedia
| 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].
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].
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[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
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.
