stringtranslate.com

Christine Paulin Mohring

Christine Paulin-Mohring (nacida en 1962) [1] es una lógica matemática e informática , y profesora de la Facultad de Ciencias de la Universidad Paris-Saclay , [2] mejor conocida por desarrollar el prover de teoremas interactivo Coq .

Biografía

Paulin-Mohring recibió su doctorado en 1989 bajo la supervisión de Gérard Huet . [3] Es profesora en la Universidad Paris-Saclay desde 1997 y decana de la Facultad de Ciencias Paris-Saclay desde 2016. [4]

Entre 2012 y 2015 fue Coordinadora Científica del Labex DigiCosme. [5] Actualmente, [ ¿cuándo? ] es miembro del consejo editorial del Journal of Formalized Reasoning . [6]

Reconocimiento

Paulin-Mohring ganó el Premio Michel-Monpetit  [fr] de la Academia de Ciencias de Francia en 2015. [7]

Ella y el resto del equipo de desarrollo de Coq ( Thierry Coquand , Gérard Huet , Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot y Pierre Castéran) ganaron el premio ACM Software System Award 2013 [8] [9] otorgado. por la Asociación de Maquinaria de Computación .

Fue elegida miembro de la Academia Europaea en 2014. [10]

Otras lecturas

Referencias

  1. ^ Año de nacimiento de la entrada del catálogo de la Biblioteca del Congreso. Consultado el 1 de diciembre de 2018.
  2. ^ "introducción". Laboratorio de Investigación en Informática . 8 de julio de 2016 . Consultado el 7 de marzo de 2023 .
  3. ^ Christine Paulin-Mohring en el Proyecto de genealogía de matemáticas
  4. ^ "Breve biografía". Laboratorio de Investigación en Informática . Consultado el 11 de mayo de 2020 .
  5. ^ "Labex DigiCosme | Organización-ES". DigiCosme - París-Saclay. Archivado desde el original el 19 de agosto de 2017 . Consultado el 10 de octubre de 2018 .
  6. ^ "Equipo editorial". Revista de razonamiento formalizado . Consultado el 10 de octubre de 2018 .
  7. ^ "Lauréats 2015 des prix thématiques" (en francés). Academia Francesa de Ciencias . Consultado el 29 de mayo de 2019 .
  8. ^ "Christine Paulin-Mohring". premios.acm.org . Archivado desde el original el 28 de noviembre de 2021 . Consultado el 6 de octubre de 2020 .
  9. ^ "ACM honra a los innovadores en informática que están cambiando el mundo". www.acm.org . Consultado el 6 de octubre de 2020 .
  10. ^ "Christine Paulin-Mohring". Perfiles de miembros . Academia Europaea . Consultado el 8 de octubre de 2020 .
  11. ^ Eduardo Giménez, Christine Paulin-Mohring. Apuntes de conferencias sobre informática. Tipos de Pruebas y Programas . Saltador. COMO EN  B01K93CDG6.
  12. ^ Tipos de pruebas y programas: taller internacional, TIPOS 2004, Jouy-en-Josas, Francia, 15 a 18 de diciembre de 2004: artículos seleccionados revisados. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlín: Springer. 2006.ISBN​ 978-3-540-31429-5. OCLC  262692632.{{cite book}}: Mantenimiento CS1: otros ( enlace )
  13. ^ Blazy, Sandrine ; Paulin-Mohring, Christine; Pichardie, David, eds. (22 de julio de 2013). Demostración interactiva de teoremas: Cuarta Conferencia Internacional, ITP 2013, Rennes, Francia, 22 a 26 de julio de 2013. Actas. Berlín: Springer. ISBN 978-3-642-39634-2. OCLC  856650301.

enlaces externos