Martin Wirsing a commencé son parcours académique en étudiant les mathématiques à l'université Louis-et-Maximilien de Munich et à l'université Paris VII, obtenant finalement son doctorat en 1976 sous la direction de Kurt Schütte. Ses premières recherches se sont concentrées sur le problème de décision de la logique des prédicats, marquant le début d'une longue carrière reliant les mathématiques théoriques aux applications pratiques du génie logiciel.
Nominations académiques et leadership institutionnel
Wirsing a été assistant de recherche à l'université technique de Munich sous la direction de F.L. Bauer entre 1975 et 1983, où il a obtenu son habilitation en informatique en 1984. Il a été nommé professeur titulaire et titulaire de la chaire d'informatique à l'université de Passau en 1985 avant de retourner à l'université Louis-et-Maximilien de Munich en 1992 pour diriger la chaire de programmation et de génie logiciel. Au-delà de ses fonctions de recherche, il a occupé d'importants postes administratifs, notamment doyen, chef de département et vice-président de l'université, servant notamment comme vice-président chargé de l'enseignement et des études de 2010 à 2019.
Contributions de recherche et projets européens
Ses principaux intérêts de recherche couvrent les fondements formels du génie logiciel, le développement de systèmes autonomes conscients d'eux-mêmes et la numérisation des établissements d'enseignement supérieur. Entre 2006 et 2015, il a coordonné d'importants projets européens, notamment SENSORIA, qui a étudié le génie logiciel pour les systèmes orientés services, et ASCENS, qui s'est concentré sur l'ingénierie des systèmes autonomiques collectifs.
Supervision éditoriale et reconnaissance professionnelle
Wirsing reste une figure centrale de l'édition académique, servant de co-rédacteur en chef de l'International Journal on Software Tools for Technology Transfer et d'éditeur pour Electronic Proceedings in Theoretical Computer Science. Ses contributions professionnelles ont été reconnues par la Croix de l'ordre du Mérite de la République fédérale d'Allemagne et un doctorat honoris causa en sciences décerné par Royal Holloway, université de Londres, en 2016.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits marquants
- Naissance : 1948, Bayreuth, Allemagne - Doctorat : 1976, Université Louis-et-Maximilien de Munich - Domaines : Informatique, mathématiques - Distinction clé : Croix de l'ordre du Mérite de la République fédérale d'Allemagne - Diplôme : Doctorat en sciences (Honoris Causa), Royal Holloway, Université de Londres - Postes actuels : Membre de conseils consultatifs scientifiques à l'IMDEA Software Institute
Questions fréquentes
### Quel est le domaine d'expertise de Martin Wirsing ?
Il est spécialisé dans le génie logiciel, les fondements formels de l'informatique et le développement de systèmes autonomes conscients d'eux-mêmes.
### Quels grands projets européens a-t-il coordonnés ?
Il a coordonné le projet SENSORIA de 2006 à 2010 et le projet ASCENS de 2010 à 2015.
