La medalla de plata del CNRS de 1996 se encuentra entre los reconocimientos formales a Marie-Claude Gaudel, una informática y matemática francesa cuya carrera tendió un puente entre la especificación abstracta y la aplicación industrial. Desde su nacimiento en Nancy en 1946, ha dedicado décadas a promover el desarrollo de métodos de pruebas formales y lenguajes de especificación de software dentro del panorama académico europeo.
Formación académica
Gaudel comenzó su formación en la Universidad de Nancy, donde se centró en la intersección de las matemáticas y sus aplicaciones fundamentales. Obtuvo un máster en 1968, seguido de un DEA en matemáticas en 1969. Su transición a la informática se consolidó con un doctorado de posgrado en 1971, que culminó con un doctorado de Estado en 1980.
Investigación y desarrollo
Su trayectoria profesional comenzó en el Instituto Nacional de Investigación en Informática y Automática de Francia en 1973. Entre 1981 y 1984, dirigió el grupo de ingeniería de software en el centro de investigación de Alcatel-Alsthom en Marcoussis. En 1984, se incorporó a la Universidad de París-Sur en Orsay como profesora. Durante las décadas de 1980 y 1990, contribuyó a la creación del lenguaje PLUSS para especificaciones de software y el entorno ASSPEGIQUE, mientras su equipo desarrollaba el sistema LOFT para la selección de datos de prueba.
Metodologías de prueba
Su producción académica examinó constantemente las pruebas de software a través de la lente de las especificaciones formales. En la década de 2000, colaboró con investigadores de la Universidad de York para probar software escrito en el lenguaje Circus. Su investigación se expandió hacia la verificación aproximada de software y el diseño de algoritmos para pruebas y análisis aleatorios de software.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Reconocimiento profesional
Gaudel se retiró de su cátedra en la Universidad de París-Sur en marzo de 2007. Su carrera incluye un Doctorado Honoris Causa de la EPFL en 1995 y de la Universidad de York en 2013, además de ser nombrada Caballero de la Legión de Honor en 2011. Sigue siendo una participante activa en sociedades científicas, formando parte de comités de programas y editando revistas como The Science of Computer Programming y Formal Aspects of Computing.
Datos rápidos
- Nacimiento: 1946, Nancy, Francia - Campo: Informática y matemáticas - Educación: Universidad de Nancy - Premio: Medalla de plata del CNRS (1996) - Premio: Caballero de la Legión de Honor (2011) - Doctor Honoris Causa: EPFL (1995), Universidad de York (2013)
Preguntas frecuentes
### ¿Cuál es el enfoque principal de la investigación de Marie-Claude Gaudel?
Se especializa en informática teórica y aplicada, centrándose específicamente en las pruebas de software basadas en especificaciones formales.
### ¿Sigue Marie-Claude Gaudel activa en la comunidad científica?
Sí, aunque se retiró de la Universidad de París-Sur en 2007, continúa formando parte de comités de programas y editando revistas académicas.
