El desarrollo del demostrador interactivo de teoremas Rocq es la principal contribución técnica de Christine Paulin-Mohring. Científica de la computación y lógica matemática francesa nacida en 1962, su investigación se centra en formalizar el razonamiento matemático a través de sistemas computacionales. Su trayectoria académica abarca décadas de liderazgo institucional y contribuciones a la verificación rigurosa de software y pruebas dentro de la comunidad científica mundial.
Base académica y carrera
Paulin-Mohring completó sus estudios de doctorado en 1989 bajo la supervisión de Gérard Huet. Su carrera está arraigada en la educación superior francesa, específicamente en la Universidad París Diderot, donde completó su formación. Desde 1997, ha ocupado una cátedra en la Universidad París-Saclay. Sus cargos administrativos incluyen haber sido decana de la Facultad de Ciencias de París-Saclay de 2016 a 2021, y se desempeñó como Coordinadora Científica del Labex DigiCosme entre 2012 y 2015.
Contribuciones a la demostración de teoremas
El sistema Rocq, anteriormente identificado como Coq, representa un avance significativo en la demostración interactiva de teoremas. Paulin-Mohring colaboró con un equipo de desarrollo que incluía a Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot y Pierre Castéran. Este esfuerzo colectivo proporcionó herramientas para formalizar la lógica y verificar pruebas matemáticas, lo que llevó a su participación activa en el consejo editorial del Journal of Formalized Reasoning.
Reconocimiento profesional
La Association for Computing Machinery reconoció al equipo de desarrollo de Rocq con el Premio ACM Software System en 2013. Dos años después, la Academia de Ciencias de Francia otorgó a Paulin-Mohring el Premio Michel Monpetit. Fue elegida miembro de la Academia Europaea en 2014, reflejando su posición dentro de la comunidad científica europea.
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 →Datos rápidos
- Nacimiento: 1962 - Ciudadanía: Francia - Educación: Universidad París Diderot - Empleador actual: ComUE Universidad París-Saclay - Proyecto principal: Demostrador de teoremas Rocq - Premio ACM Software System: 2013 - Premio Michel Monpetit: 2015 - Miembro de la Academia Europaea desde: 2014
Preguntas que hacen los lectores
### ¿Cuál es el principal enfoque académico de Christine Paulin-Mohring?
Es una lógica matemática y científica de la computación especializada en la demostración interactiva de teoremas.
### ¿Con qué sistema de software importante está asociada?
Es conocida por su trabajo en el demostrador interactivo de teoremas conocido como Rocq, anteriormente llamado Coq.
.jpg)