Marie-Claude Gaudel

She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science.

Marie-Claude Gaudel was born in 1946 in Nancy, France, into a family of scientists and mathematicians.

[2] From 1981 to the beginning of 1984, Gaudel managed the Software Engineering group at the industrial research centre of Alcatel-Alsthom in Marcoussis, France.

[2] Gaudel retired from the University of Paris-Sud in March 2007 but continues to be a member of a number of programme committees, including serving as chair for several conferences on formal testing.

[2] Gaudel has authored or co-authored numerous publications during her time at the University of Paris-Sud and since retirement.