Marie-Claude Gaudel
Experte Recherche - France - Ile-de-France - Orsay
Fonction principale
Professeure honoraire
Organisme
Université Paris Sud
Ville de l’organisme
Orsay
Langues parlées
Anglais
Français
Portugais
Contact pro
Contact perso
email@example.com
01 23 45 67 89
Identifiez-vous pour accéder à cette information.
ou
Inscrivez-vous
Réseaux sociaux
Réseau(x)
-
- ResearchGate
-
Date de mise à jour
13 juillet 2022Biographie
Professeure honoraire d'Informatique à l'université Paris Sud, elle est spécialiste des problèmes posés par le logiciel et la vérification de celui-ci. Elle a publié des ouvrages sur le génie logiciel, les structures de données et algorithmes, la sûreté de fonctionnement des systèmes informatiques. Ses travaux sur le test de logiciel lui ont valu la médaille d'argent du CNRS en 1996. Elle a été membre du conseil d'administration de Femmes & Sciences de 2014 à 2022.
Elle est membre de l'association Science Ouverte qui fait de la médiation scientifique en Seine-Saint-Denis
Publications
-
- 2015
Femmes et Informatique : état des lieux dans l’enseignement supérieur et la recherche,
1024, Bulletin de la SIF -
- 2012
Coverage-biased random exploration of large models and application to testing
International Journal on Software Tools for Technology Transfer, 14(1) -
- 2011
Checking models, proving programs, and testing systems
volume 6706 of Lecture Notes in Computer Science, Springer Verlag