La médaille d'argent du CNRS de 1996 figure parmi les reconnaissances formelles accordées à Marie-Claude Gaudel, une informaticienne et mathématicienne française dont la carrière a fait le pont entre la spécification abstraite et l'application industrielle. Depuis sa naissance à Nancy en 1946, elle a passé des décennies à faire progresser le développement de méthodes de test formelles et de langages de spécification logicielle au sein du paysage académique européen.
Formation académique
Gaudel a commencé ses études à l'Université de Nancy, où elle s'est concentrée sur l'intersection des mathématiques et de leurs applications fondamentales. Elle a obtenu une maîtrise en 1968, suivie d'un DEA de mathématiques en 1969. Sa transition vers l'informatique s'est concrétisée par un doctorat de troisième cycle en 1971, aboutissant à un doctorat d'État en 1980.
Recherche et développement
Son parcours professionnel a débuté à l'Institut national de recherche en informatique et en automatique en 1973. Entre 1981 et 1984, elle a dirigé le groupe de génie logiciel au centre de recherche Alcatel-Alsthom à Marcoussis. En 1984, elle a rejoint l'Université Paris-Sud à Orsay en tant que professeur. Au cours des années 1980 et 1990, elle a contribué à la création du langage PLUSS pour les spécifications logicielles et de l'environnement ASSPEGIQUE, tandis que son équipe développait le système LOFT pour la sélection de données de test.
Méthodologies de test
Ses travaux universitaires ont constamment examiné les tests logiciels sous l'angle des spécifications formelles. Dans les années 2000, elle a collaboré avec des chercheurs de l'Université de York pour tester des logiciels écrits dans le langage Circus. Ses recherches se sont étendues à la vérification approximative de logiciels et à la conception d'algorithmes pour le test et l'analyse aléatoires de logiciels.
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 →Reconnaissance professionnelle
Gaudel a pris sa retraite de son poste de professeur à l'Université Paris-Sud en mars 2007. Sa carrière comprend un doctorat honoris causa de l'EPFL en 1995 et de l'Université de York en 2013, ainsi que sa nomination en tant que Chevalier de la Légion d'honneur en 2011. Elle reste une participante active dans les sociétés scientifiques, siégeant à des comités de programme et éditant des revues, notamment The Science of Computer Programming et Formal Aspects of Computing.
Faits en bref
- Naissance : 1946, Nancy, France - Domaine : Informatique et mathématiques - Éducation : Université de Nancy - Récompense : Médaille d'argent du CNRS (1996) - Récompense : Chevalier de la Légion d'honneur (2011) - Doctorat Honoris Causa : EPFL (1995), Université de York (2013)
Questions fréquemment posées
### Quel est le sujet principal des recherches de Marie-Claude Gaudel ?
Elle se spécialise dans l'informatique théorique et appliquée, se concentrant particulièrement sur les tests logiciels basés sur des spécifications formelles.
### Marie-Claude Gaudel est-elle toujours active dans la communauté scientifique ?
Oui, bien qu'elle ait pris sa retraite de l'Université Paris-Sud en 2007, elle continue de siéger à des comités de programme et d'éditer des revues académiques.
