Marie-Claude Gaudel

Marie-Claude Gaudel (born 1946) is a French computer scientist. She is a professor emerita at the University of Paris-Sud. She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science. Gaudel is still active in professional societies.

Early life and education Marie-Claude Gaudel was born in 1946 in Nancy, France, into a family of scientists and mathematicians. She attended the University of Nancy and graduated with a Masters in Mathematics and Fundamental Applications in 1968. She obtained three more degrees from the University of Nancy: a DEA of Mathematics in 1969, a Postgraduate Doctorate in Computer Science in 1971, and a Doctorate of State in 1980.

In the 2000s, Gaudel worked on three main projects. She tested software specified in the Circus language with researchers from the University of York, researched approximate software verification, and developed algorithms for random software testing and analysis. Silver Medal of the CNRS, 1996 G. Bernot, M.-C. Gaudel and B. Marre. (1991): "Software Testing Based on Formal Specifications: A theory and a tool," Software Engineering Journal, vol. 9, no. 6, pp. 387–405. M.-C. Gaudel. (1995): "Testing can be formal, too", Colloquium on Trees in Algebra and Programming, pp. 82–96. L. Bougé, N. Choquet, L. Fribourg, and M.-C. Gaudel. (1986): "Test sets generation from algebraic specifications using logic programming", Journal of Systems and Software, vol. 6, no. 4, pp. 343–360.