Die CNRS-Silbermedaille von 1996 zählt zu den offiziellen Anerkennungen für Marie-Claude Gaudel, eine französische Informatikerin und Mathematikerin, deren Karriere die Brücke zwischen abstrakter Spezifikation und industrieller Anwendung schlug. Seit ihrer Geburt in Nancy im Jahr 1946 hat sie Jahrzehnte damit verbracht, die Entwicklung formaler Testmethoden und Softwarespezifikationssprachen in der europäischen akademischen Landschaft voranzutreiben.
Akademische Ausbildung
Gaudel begann ihre Ausbildung an der Universität Nancy, wo sie sich auf die Schnittstelle zwischen Mathematik und deren grundlegenden Anwendungen konzentrierte. Sie erwarb 1968 einen Master-Abschluss, gefolgt von einem DEA in Mathematik im Jahr 1969. Ihr Übergang zur Informatik festigte sich mit einem Postgraduierten-Doktorat im Jahr 1971, das 1980 in einem Staatsexamen-Doktorat gipfelte.
Forschung und Entwicklung
Ihr beruflicher Werdegang begann 1973 am französischen Institut für Forschung in Informatik und Automatisierung. Zwischen 1981 und 1984 leitete sie die Software-Engineering-Gruppe am Alcatel-Alsthom-Forschungszentrum in Marcoussis. 1984 kam sie als Professorin an die Universität Paris-Süd in Orsay. Während der 1980er und 1990er Jahre trug sie zur Erstellung der Sprache PLUSS für Softwarespezifikationen und der ASSPEGIQUE-Umgebung bei, während ihr Team das LOFT-System zur Auswahl von Testdaten entwickelte.
Testmethoden
Ihr akademischer Output untersuchte konsequent Softwaretests durch die Brille formaler Spezifikationen. In den 2000er Jahren arbeitete sie mit Forschern der Universität York zusammen, um in der Circus-Sprache geschriebene Software zu testen. Ihre Forschung weitete sich auf die approximative Softwareverifikation und den Entwurf von Algorithmen für zufällige Softwaretests und -analysen aus.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Anerkennung
Gaudel trat im März 2007 von ihrer Professur an der Universität Paris-Süd in den Ruhestand. Ihre Karriere umfasst ein Ehrendoktorat der EPFL im Jahr 1995 und der Universität York im Jahr 2013 sowie die Ernennung zum Ritter der Ehrenlegion im Jahr 2011. Sie bleibt ein aktives Mitglied wissenschaftlicher Gesellschaften, ist in Programmkomitees tätig und als Herausgeberin für Zeitschriften wie The Science of Computer Programming und Formal Aspects of Computing aktiv.
Fakten auf einen Blick
- Geboren: 1946, Nancy, Frankreich - Fachgebiet: Informatik und Mathematik - Ausbildung: Universität Nancy - Auszeichnung: CNRS-Silbermedaille (1996) - Auszeichnung: Ritter der Ehrenlegion (2011) - Ehrendoktorwürde: EPFL (1995), Universität York (2013)
Häufig gestellte Fragen
### Was ist der Schwerpunkt der Forschung von Marie-Claude Gaudel?
Sie ist auf theoretische und angewandte Informatik spezialisiert, mit besonderem Fokus auf Softwaretests, die auf formalen Spezifikationen basieren.
### Ist Marie-Claude Gaudel noch in der wissenschaftlichen Gemeinschaft aktiv?
Ja, obwohl sie 2007 von der Universität Paris-Süd in den Ruhestand ging, ist sie weiterhin in Programmkomitees tätig und bearbeitet akademische Fachzeitschriften.
