La medaglia d'argento del CNRS del 1996 si trova tra i riconoscimenti ufficiali per Marie-Claude Gaudel, un'informatica e matematica francese la cui carriera ha colmato il divario tra la specifica astratta e l'applicazione industriale. Dalla sua nascita a Nancy nel 1946, ha trascorso decenni a promuovere lo sviluppo di metodi di test formali e linguaggi di specifica del software nel panorama accademico europeo.
Formazione accademica
Gaudel ha iniziato i suoi studi presso l'Università di Nancy, dove si è concentrata sull'intersezione tra la matematica e le sue applicazioni fondamentali. Ha conseguito un master nel 1968, seguito da un DEA in matematica nel 1969. La sua transizione verso l'informatica si è consolidata con un dottorato di ricerca nel 1971, culminato in un dottorato di Stato nel 1980.
Ricerca e sviluppo
Il suo percorso professionale è iniziato presso l'Istituto nazionale di ricerca per l'informatica e l'automazione in Francia nel 1973. Tra il 1981 e il 1984, ha gestito il gruppo di ingegneria del software presso il centro di ricerca Alcatel-Alsthom a Marcoussis. Nel 1984 è entrata a far parte dell'Università di Parigi-Sud a Orsay come professoressa. Durante gli anni '80 e '90, ha contribuito alla creazione del linguaggio PLUSS per le specifiche software e dell'ambiente ASSPEGIQUE, mentre il suo team sviluppava il sistema LOFT per la selezione dei dati di test.
Metodologie di test
La sua produzione accademica ha esaminato costantemente il testing del software attraverso la lente delle specifiche formali. Negli anni 2000, ha collaborato con ricercatori dell'Università di York per testare software scritto nel linguaggio Circus. La sua ricerca si è estesa alla verifica approssimativa del software e alla progettazione di algoritmi per il testing e l'analisi casuale del software.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Riconoscimento professionale
Gaudel è andata in pensione dalla sua cattedra presso l'Università di Parigi-Sud nel marzo 2007. La sua carriera include un dottorato Honoris Causa dell'EPFL nel 1995 e dell'Università di York nel 2013, oltre alla nomina a Cavaliere della Legion d'Onore nel 2011. Rimane una partecipante attiva nelle società scientifiche, facendo parte di comitati di programma e curando riviste tra cui The Science of Computer Programming e Formal Aspects of Computing.
Fatti in breve
- Nascita: 1946, Nancy, Francia - Settore: Informatica e matematica - Istruzione: Università di Nancy - Premio: Medaglia d'argento del CNRS (1996) - Premio: Cavaliere della Legion d'Onore (2011) - Dottorato Honoris Causa: EPFL (1995), Università di York (2013)
Domande poste dai lettori
### Qual è l'obiettivo principale della ricerca di Marie-Claude Gaudel?
È specializzata in informatica teorica e applicata, concentrandosi specificamente sul testing del software basato su specifiche formali.
### Marie-Claude Gaudel è ancora attiva nella comunità scientifica?
Sì, sebbene si sia ritirata dall'Università di Parigi-Sud nel 2007, continua a far parte di comitati di programma e a curare riviste accademiche.
