Marie-Claude Gaudel
Research Expert - France - Ile-de-France - Orsay
Role
Emeritus professor
Organization
Université Paris Sud
City of the organization
Orsay
Spoken languages
English
French
Portuguese
Pro Contact
Private Contact
email@example.com
01 23 45 67 89
You have to sign-in to access this information.
or
Sign-up
Social Media
Networks
-
- ResearchGate
-
Modification Date
13 July 2022Biography
Marie-Claude Gaudel is Emeritus Professor of Computer Science at Paris Sud University. Specializing in problems posed by software, its development and verification, she has published books on software engineering, data structures and algorithms, and the dependability of computer systems. Her work on software testing earned her the CNRS silver medal in 1996. She has been a member of the board of directors of the Femmes & Sciences association since 2014.
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