Marie-Claude Gaudel (nacida en 1946) es una científica informática francesa. Es profesora emérita de la Universidad de Paris-Sud . Ayudó a desarrollar el lenguaje PLUSS para especificaciones de software y estuvo involucrada en informática tanto teórica como aplicada. Gaudel sigue activo en sociedades profesionales.
Marie-Claude Gaudel nació en 1946 en Nancy, Francia , en el seno de una familia de científicos y matemáticos. [1] Asistió a la Universidad de Nancy y se graduó con una Maestría en Matemáticas y Aplicaciones Fundamentales en 1968. [2] Obtuvo tres títulos más de la Universidad de Nancy: un DEA de Matemáticas en 1969, un Doctorado de Posgrado en Ciencias de la Computación en 1971, y Doctorado en Estado en 1980. [2]
En 1973, mientras aún estudiaba en la Universidad de Nancy, Gaudel comenzó a trabajar como investigador en el Instituto Francés de Investigación en Informática y Automatización (INRIA). [2] Desde 1981 hasta principios de 1984, Gaudel dirigió el grupo de Ingeniería de Software en el centro de investigación industrial de Alcatel-Alsthom en Marcoussis, Francia. [2]
En 1984, se convirtió en profesora en la Universidad de Paris-Sud en Orsay. [2] Su trabajo allí se centró en las pruebas de software, en particular las pruebas basadas en especificaciones formales .
En las décadas de 1980 y 1990, Gaudel ayudó a desarrollar el lenguaje PLUSS, que se utiliza para las especificaciones de software, y el entorno de especificación ASSPEGIQUE. Trabajó en el lado teórico y práctico de la informática, desarrollando una teoría de pruebas de software, pruebas formales y aplicando sus conocimientos a problemas industriales del mundo real. Su grupo de investigación también desarrolló el sistema LOFT para seleccionar datos de prueba. [3]
En la década de 2000, Gaudel trabajó en tres proyectos principales. Probó software especificado en el lenguaje Circus con investigadores de la Universidad de York, investigó la verificación aproximada de software y desarrolló algoritmos para pruebas y análisis aleatorios de software . [2]