A 1996 CNRS silver medal stands among the formal recognitions for Marie-Claude Gaudel, a French computer scientist and mathematician whose career bridged the gap between abstract specification and industrial application. Since her birth in Nancy in 1946, she has spent decades advancing the development of formal testing methods and software specification languages within the European academic landscape.
Academic Formation
Gaudel commenced her education at the University of Nancy, where she focused on the intersection of mathematics and its fundamental applications. She earned a Masters degree in 1968, followed by a DEA in Mathematics in 1969. Her transition into computer science solidified with a Postgraduate Doctorate in 1971, culminating in a Doctorate of State awarded in 1980.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Research and Development
Her professional trajectory began at the French Institute for Research in Computer Science and Automation in 1973. Between 1981 and 1984, she managed the Software Engineering group at the Alcatel-Alsthom research centre in Marcoussis. In 1984, she joined the University of Paris-Sud at Orsay as a professor. During the 1980s and 1990s, she contributed to the creation of the PLUSS language for software specifications and the ASSPEGIQUE environment, while her team developed the LOFT system for test data selection.
Testing Methodologies
Her academic output consistently examined software testing through the lens of formal specifications. In the 2000s, she collaborated with researchers from the University of York to test software written in the Circus language. Her research expanded into approximate software verification and the design of algorithms for random software testing and analysis.
Professional Recognition
Gaudel retired from her professorship at the University of Paris-Sud in March 2007. Her career includes a Doctor Honoris Causa from EPFL in 1995 and the University of York in 2013, as well as being named a Knight of the Legion of Honour in 2011. She remains an active participant in scientific societies, serving on programme committees and editing for journals including The Science of Computer Programming and Formal Aspects of Computing.
Fast facts
- Born: 1946, Nancy, France
- Field: Computer science and mathematics
- Education: Nancy-Université
- Award: CNRS silver medal (1996)
- Award: Knight of the Legion of Honour (2011)
- Doctor Honoris Causa: EPFL (1995), University of York (2013)
Questions readers ask
What is the primary focus of Marie-Claude Gaudel's research?
She specializes in theoretical and applied computer science, specifically focusing on software testing based on formal specifications.
Is Marie-Claude Gaudel still active in the scientific community?
Yes, although she retired from the University of Paris-Sud in 2007, she continues to serve on programme committees and edit academic journals.
Achievements
- CNRS silver medal — 1996
- Held posts at University of Paris
- Fields: algorithm and theoretical computer science
