Marie-Claude Gaudel
Cet article est une ébauche concernant une personnalité française et l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Naissance | (77 ans) Nancy |
---|---|
Nationalité | française |
Formation | |
Activités | Mathématicienne, informaticienne, chercheuse |
A travaillé pour | Université de Paris |
---|---|
Maître | Claude Pair |
Distinction |
modifier - modifier le code - modifier Wikidata
Marie-Claude Gaudel, née en à Nancy, est mathématicienne, informaticienne et professeure émérite d’informatique à l’Université Paris-Sud. Elle est connue pour avoir créé le domaine de recherche de méthodes formelles en informatique, et reçu la médaille d'argent du CNRS en 1996[1].
Biographie
Née en 1946 à Nancy[2], dans une famille de scientifiques[3], Marie-Claude Gaudel fait des études de mathématiques à Nancy où elle obtient une maîtrise en puis un DEA en [4].
Carrière
Marie-Claude Gaudel commence sa carrière avec un doctorat de troisième cycle en informatique qu'elle soutient en . Elle est chercheuse à l'INRIA de à , période durant laquelle elle soutient un doctorat d'État en [4],[5],[6].
Elle est responsable du groupe d'ingénierie informatique d'Alcatel-Alsthom à Marcoussis de à [6],[4], date à laquelle elle devient alors professeuse d'informatique à l'université Paris-Sud[6].
En reçoit la médaille d'argent du CNRS en [1],[7].
Elle est directrice du Pôle commun de recherche en informatique de l'université Paris-Sud de sa création en [8] à l'inauguration de ses bâtiments en [9],[10]. De à , Marie-Claude Gaudel est aussi responsable du comité de programme du laboratoire Digiteo, qui structure la recherche en informatique et 1 200 personnels de recherche autour du plateau de Saclay[4].
En , Marie-Claude Gaudel prend sa retraite et poursuit son activité comme professeur émérite à l'Université Paris-Sud[6].
Distinctions
Marie-Claude Gaudel reçoit la médaille d'argent du CNRS en 1996[7], et est faite chevalière de la Légion d'honneur en 2010[5],[11].
Elle s'est vue décerner un doctorat honoris causa par l'École polytechnique fédérale de Lausanne[12],[13] et l'Université d'York[6]. Elle est membre d'honneur de la Société informatique de France[14].
Publications
- (en) Gilles Bernot, Marie-Claude Gaudel et Bruno Marre, « Software Testing Based on Formal Specifications: A theory and a tool, », Software Engineering Journal', vol. 9, no 6, , p. 387-405 (lire en ligne [PDF])
- (en) Marie-Claude Gaudel, « Testing can be formal, too », Lecture Notes in Computer Science, vol. 915, , p. 82–96 (DOI 10.1007/3-540-59293-8_188, lire en ligne [PDF])
- (en) Luc Bougé, N. Choquet, Laurent Fribourg et Marie-Claude Gaudel, « Test sets generation from algebraic specifications using logic programming », Journal of Systems and Software', vol. 6, no 4, , p. 343-360
Notes et références
- ↑ a et b « Médailles d'argent du CNRS 1996 » (consulté le ).
- ↑ Gérard Gaudel, « Portraits de descendants des GAUDEL d'Orbey », sur La grande famille de tous les GAUDEL (consulté le ).
- ↑ Marie-Claude Gaudel, « Marie Claude GAUDEL, mathématicienne », sur La grande famille de tous les GAUDEL (consulté le ) : « Je suis d’une lignée Gaudel de scientifiques : mon grand-père était professeur de mathématiques, mon père ingénieur des Ponts et Chaussées, ma mère et mes trois frères et sœurs étaient ou sont professeurs de mathématiques… ».
- ↑ a b c et d (en) « GAUDEL, Marie-Claude » [PDF], sur Laboratoire de recherche en informatique, (version du sur Internet Archive)
- ↑ a et b fiche de Marie-Claude Gaudel - BnF catalogue général
- ↑ a b c d et e (en) « Professor Marie-Claude Gaudel », sur cs.york.ac.uk (consulté le ).
- ↑ a et b Isabelle Dujonc, Comité pour l'histoire du CNRS, « Médailles d’argent du CNRS 1960-2010 », sur hypotheses.org, (consulté le )
- ↑ « Le CNRS, l'INRIA, l'École Polytechnique et l'Université Paris-Sud 11 créent, à Gif-sur-Yvette (Essonne), un Pôle Commun de Recherche en Informatique », News Press,
- ↑ F.M., « Bientôt 240 scientifiques au pôle informatique », Le Parisien Essonne,
- ↑ Sébastien Morelli, « Les informaticiens vont enfin avoir leur pôle de recherche », Le Parisien, , p. 91
- ↑ Ordre national de la Légion d'honneur - Décret du 31 décembre 2010 portant promotion et nomination
- ↑ (en) « Doctor Honoris Causa », sur École polytechnique fédérale de Lausanne (consulté le ).
- ↑ CERN, « Nouvelles brèves », Courrier CERN, vol. 35, no 6, , p. 48 (lire en ligne [PDF])
- ↑ « Membres d’honneur de la Société Informatique de France », sur Société informatique de France (consulté le ).
Liens externes
- Ressources relatives à la recherche :
- Google Scholar
- Mathematics Genealogy Project
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- CiNii
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Norvège
- WorldCat
- Portail de l’informatique