Aller au contenu

« Marie-Claude Gaudel » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
m v2.05b - Simplification de balises - Correction syntaxique (Balise à simplifier - Paramètre inutilisé)
Lupin~fr (discuter | contributions)
9 553 modifications
ajout infos carrière et publi significatives
Ligne 1 : Ligne 1 :
{{ébauche|personnalité française|informatique}}
{{ébauche|personnalité française|informatique}}
{{Infobox Biographie2}}
{{Infobox Biographie2}}
'''Marie-Claude Gaudel''', née en {{date de naissance|||1946}} à [[Nancy]], est mathématicienne, informaticienne et [[professeur émérite|professeure émérite]] d’informatique à l’[[Université Paris-Sud]]. Elle a reçu la [[médaille d'argent du CNRS]] en 1996<ref>{{Lien web |langue=fr |titre=Médailles d'argent du CNRS 1996|url=http://www.cnrs.fr/cw/fr/nomi/prix/argent96.html |date= |consulté le=14 octobre 2015}}.</ref>.
'''Marie-Claude Gaudel''', née en {{date de naissance|||1946}} à [[Nancy]], est mathématicienne, informaticienne et [[professeur émérite|professeure émérite]] d’informatique à l’[[Université Paris-Sud]]. Elle est connue pour avoir créé le domaine de recherche de [[Méthode formelle (informatique)|méthodes formelles]] en informatique, et reçu la [[médaille d'argent du CNRS]] en 1996<ref name=":0">{{Lien web |langue=fr |titre=Médailles d'argent du CNRS 1996|url=http://www.cnrs.fr/cw/fr/nomi/prix/argent96.html |date= |consulté le=14 octobre 2015}}.</ref>.


== Biographie ==
== Biographie ==
Née en [[1946 en Lorraine|1946]] à [[Nancy]]<ref>{{Lien web |langue=fr |auteur=Gérard Gaudel |titre=Portraits de descendants des GAUDEL d'Orbey |url=https://genealogie-gaudel.pagesperso-orange.fr/orbeyportraits.htm |date= |site=[https://genealogie-gaudel.pagesperso-orange.fr/index.htm La grande famille de tous les GAUDEL] |consulté le=20 octobre 2015}}.</ref>, dans une famille de scientifiques<ref>{{Lien web |langue=fr |auteur=Marie-Claude Gaudel |titre=Marie Claude GAUDEL, mathématicienne |url=https://genealogie-gaudel.pagesperso-orange.fr/personne3054.htm |date= |site=[https://genealogie-gaudel.pagesperso-orange.fr/index.htm La grande famille de tous les GAUDEL] |consulté le=20 octobre 2015|citation=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…}}.</ref>, elle fait des études de mathématiques à [[Nancy]] où elle obtient le titre de Docteur en informatique en 1980<ref name=bnf>[https://catalogue.bnf.fr/ark:/12148/cb11904309r fiche de Marie-Claude Gaudel - BnF catalogue général]</ref>.
Née en [[1946 en Lorraine|1946]] à [[Nancy]]<ref>{{Lien web |langue=fr |auteur=Gérard Gaudel |titre=Portraits de descendants des GAUDEL d'Orbey |url=https://genealogie-gaudel.pagesperso-orange.fr/orbeyportraits.htm |date= |site=[https://genealogie-gaudel.pagesperso-orange.fr/index.htm La grande famille de tous les GAUDEL] |consulté le=20 octobre 2015}}.</ref>, dans une famille de scientifiques<ref>{{Lien web |langue=fr |auteur=Marie-Claude Gaudel |titre=Marie Claude GAUDEL, mathématicienne |url=https://genealogie-gaudel.pagesperso-orange.fr/personne3054.htm |date= |site=[https://genealogie-gaudel.pagesperso-orange.fr/index.htm La grande famille de tous les GAUDEL] |consulté le=20 octobre 2015|citation=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…}}.</ref>, Marie-Claude Gaudel fait des études de mathématiques à [[Nancy]] où elle obtient une maîtrise en {{Date|1968}} puis un DEA en {{Date|1969}}<ref name=":1">{{Lien archive|langue=en|url=https://www.lri.fr/~mcg/Gaudel012016|titre=GAUDEL, Marie-Claude|format=pdf|site=[[Laboratoire de recherche en informatique]]|date=13/1/2016|horodatage archive=20180424202823|consulté le=13 avril 2024}}</ref>.


== Distinction ==
== Carrière ==
Marie-Claude Gaudel débute sa carrière avec un [[doctorat de troisième cycle]] en informatique qu'elle soutient en {{Date|1971}}. Elle est chercheuse à l'[[Institut national de recherche en informatique et en automatique|INRIA]] de {{Date|1973}} à {{Date|1981}}, période durant laquelle elle soutient un [[doctorat d'État]] en {{Date|1980}}<ref name=":1" />{{,}}<ref name="bnf">[https://catalogue.bnf.fr/ark:/12148/cb11904309r fiche de Marie-Claude Gaudel - BnF catalogue général]</ref>{{,}}<ref name=":3" />.
* Chevalier de la Légion d'honneur en 2011<ref name=bnf />.

* [[médaille d'argent du CNRS]] en 1996.
Elle est responsable du groupe d'ingénierie informatique d'[[Alcatel-Alsthom]] à [[Marcoussis]] de {{Date|1981}} à {{Date|1984}}<ref name=":3" />{{,}}<ref name=":1" />, date à laquelle elle devient alors [[Professeur des universités|professeuse]] d'informatique à l'université Paris-Sud<ref name=":3" />.

En reçoit la médaille d'argent du CNRS en {{Date|1996}}<ref name=":0" />{{,}}<ref name=":4">{{site web |prénom1=Isabelle |nom1=Dujonc |auteur institutionnel=Comité pour l'histoire du CNRS |titre=Médailles d’argent du CNRS 1960-2010 |url=https://comihistocnrs.hypotheses.org/2706 |site=hypotheses.org |date=31 janvier 2023 |consulté le=13 avril 2024}}</ref>.

Elle est directrice du [[Pôle commun de recherche en informatique]] de l'université Paris-Sud de sa création en {{Date|2002}}<ref name=":2">{{Article|titre=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|périodique=[[News Press]]|date=8 avril 2003}}</ref> à l'inauguration de ses bâtiments en {{Date|2011}}<ref>{{Article|auteur1=F.M.|titre=Bientôt 240 scientifiques au pôle informatique|périodique=[[Le Parisien]] Essonne|date=15 octobre 2009}}</ref>{{,}}<ref>{{Article|prénom1=Sébastien|nom1=Morelli|titre=Les informaticiens vont enfin avoir leur pôle de recherche|périodique=[[Le Parisien]]|pages=91|date=4 février 2011}}</ref>. De {{Date|2006}} à {{Date|2013}}, Marie-Claude Gaudel est aussi responsable du comité de programme du laboratoire [[Digiteo]], qui structure la recherche en informatique et {{Unité|1200|personnels de recherche}} autour du [[plateau de Saclay]]<ref name=":1" />.

En {{Date|2007}}, Marie-Claude Gaudel prend sa retraite et poursuit son activité comme professeur émérite à l'Université Paris-Sud<ref name=":3">{{Lien web |langue=en |titre=Professor Marie-Claude Gaudel |url=https://www.cs.york.ac.uk/equality-and-diversity/heroes-of-computer-science/professormarie-claudegaudel/ |site=cs.york.ac.uk |consulté le=13 avril 2024}}</ref>.

== Distinctions ==
Marie-Claude Gaudel reçoit la [[médaille d'argent du CNRS]] en 1996<ref name=":4" />, et est faite [[chevalière de la Légion d'honneur]] en 2010<ref name="bnf" />{{,}}<ref>{{Légifrance|base=JORF|numéro=PREX1032962D|texte=Ordre national de la Légion d'honneur - Décret du 31 décembre 2010 portant promotion et nomination}}</ref>.

Elle s'est vue décerner un doctorat ''{{Langue|la|honoris causa}}'' par l'École polytechnique fédérale de Lausanne<ref>{{Lien web |langue=en |titre=Doctor Honoris Causa |url=https://www.epfl.ch/about/overview/doctor-honoris-causa/ |site=[[École polytechnique fédérale de Lausanne]] |consulté le=13 avril 2024}}</ref>{{,}}<ref>{{Article|auteur institutionnel=[[CERN]]|titre=Nouvelles brèves|périodique=Courrier CERN|volume=35|numéro=6|pages=48|date=septembre 1995|lire en ligne=https://cds.cern.ch/record/1739652/files/vol35-issue6-p046-f.pdf|accès url=libre|format=pdf}}</ref> et l'Université d'York<ref name=":3" />. Elle est membre d'honneur de la [[Société informatique de France]]<ref>{{Lien web |titre=Membres d’honneur de la Société Informatique de France |url=https://archive.societe-informatique-de-france.fr/la-sif/membres_d_honneur/ |site=[[Société informatique de France]] |consulté le=13 avril 2024}}</ref>.

== Publications ==

* {{Article|langue=en|prénom1=Gilles|nom1=Bernot|prénom2=Marie-Claude|nom2=Gaudel|prénom3=Bruno|nom3=Marre|titre=Software Testing Based on Formal Specifications: A theory and a tool,|périodique=Software Engineering Journal'|volume=9|numéro=6|pages=387-405|date=1991|lire en ligne=https://webusers.i3s.unice.fr/~bernot/Formalmethods/1991-SEJ-BernotGaudelMarre.pdf|accès url=libre|format=pdf}}

* {{Article|langue=en|prénom1=Marie-Claude|nom1=Gaudel|titre=Testing can be formal, too|périodique=Lecture Notes in Computer Science|volume=915|pages=82–96|date=1995|doi=10.1007/3-540-59293-8_188|lire en ligne=https://link.springer.com/chapter/10.1007/3-540-59293-8_188|accès url=libre|format=pdf}}

* {{Article|langue=en|prénom1=Luc|nom1=Bougé|auteur2=N. Choquet|prénom3=Laurent|nom3=Fribourg|prénom4=Marie-Claude|nom4=Gaudel|titre=Test sets generation from algebraic specifications using logic programming|périodique=Journal of Systems and Software'|volume=6|numéro=4|pages=343-360|date=1986}}


== Notes et références ==
== Notes et références ==

Version du 14 avril 2024 à 15:56

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.

Marie-Claude Gaudel
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Maître
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

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 débute 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 Accès libre [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

  1. ↑ a et b « Médailles d'argent du CNRS 1996 » (consulté le ).
  2. ↑ Gérard Gaudel, « Portraits de descendants des GAUDEL d'Orbey », sur La grande famille de tous les GAUDEL (consulté le ).
  3. ↑ 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… ».
  4. ↑ a b c et d (en) « GAUDEL, Marie-Claude » [PDF], sur Laboratoire de recherche en informatique, (version du sur Internet Archive)
  5. ↑ a et b fiche de Marie-Claude Gaudel - BnF catalogue général
  6. ↑ a b c d et e (en) « Professor Marie-Claude Gaudel », sur cs.york.ac.uk (consulté le )
  7. ↑ a et b Isabelle Dujonc, Comité pour l'histoire du CNRS, « Médailles d’argent du CNRS 1960-2010 », sur hypotheses.org, (consulté le )
  8. ↑ « 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,‎
  9. ↑ F.M., « Bientôt 240 scientifiques au pôle informatique », Le Parisien Essonne,‎
  10. ↑ Sébastien Morelli, « Les informaticiens vont enfin avoir leur pôle de recherche », Le Parisien,‎ , p. 91
  11. ↑ Ordre national de la Légion d'honneur - Décret du 31 décembre 2010 portant promotion et nomination
  12. ↑ (en) « Doctor Honoris Causa », sur École polytechnique fédérale de Lausanne (consulté le )
  13. ↑ CERN, « Nouvelles brèves », Courrier CERN, vol. 35, no 6,‎ , p. 48 (lire en ligne Accès libre [PDF])
  14. ↑ « Membres d’honneur de la Société Informatique de France », sur Société informatique de France (consulté le )

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Marie-Claude_Gaudel&oldid=214243568 ».