Christine Paulin-Mohring (nacida en 1962) [1] es lógica matemática e informática , y profesora [ ambigua ] en la Universidad Paris-Saclay , mejor conocida por desarrollar el demostrador interactivo de teoremas Coq .
Christine Paulin-Mohring | |
---|---|
Nació | 1962 |
alma mater | Universidad Paris Diderot |
Conocido por | Coq |
Premios | Premio ACM Software System Award (2013) |
Carrera científica | |
Campos | Matemáticas , informática |
Instituciones | Universidad Paris-Saclay |
Asesor de doctorado | Gérard Huet |
Biografía
Paulin-Mohring recibió su doctorado en 1989 bajo la supervisión de Gérard Huet . [2] Ha sido profesora en la Universidad Paris-Saclay desde 1997 y decana de la Facultad de Ciencias Paris-Saclay desde 2016. [3]
Entre 2012 y 2015 fue Coordinadora Científica del Labex DigiCosme. [4] Actualmente, [ ¿cuándo? ] es miembro del consejo editorial del Journal of Formalized Reasoning . [5]
Reconocimiento
Paulin-Mohring ganó el premio Michel-Monpetit Academia de Ciencias de Francia en 2015. [6]
de laElla y el resto del equipo de desarrollo Coq ( Thierry Coquand , Gérard Huet , Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot y Pierre CASTERAN) ganó el 2013 Premio del software del sistema ACM [7] [8] premiados por la Asociación de Maquinaria de Computación .
Fue elegida miembro de la Academia Europaea en 2014 [9].
Otras lecturas
- Apuntes de conferencias en informática. Tipos de pruebas y programas : Taller internacional TYPES'96, Aussois, Francia, 15-19 de diciembre de 1996 Artículos seleccionados; Eduardo Giménez, Christine Paulin-Mohring, Springer [10]
- Tipos de pruebas y programas: Taller internacional, TYPES 2004, Jouy-en-Josas, Francia, 15-18 de diciembre de 2004, artículos seleccionados revisados: 3839 (notas de conferencias en informática) ; Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, Springer, 2008 [11]
- Demostración interactiva de teoremas: 4ª Conferencia Internacional, ITP 2013, Rennes, Francia, 22-26 de julio de 2013, Actas (Notas de conferencias en Ciencias de la Computación); Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, Springer, 2013 [12]
Referencias
- ^ Año de nacimiento de la entrada del catálogo de la Biblioteca del Congreso . Consultado el 1 de diciembre de 2018.
- ^ Christine Paulin-Mohring en el Proyecto de genealogía matemática
- ^ "Breve biografía" . Laboratoire de Recherche en Informatique . Consultado el 11 de mayo de 2020 .
- ^ "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 .
- ^ "Equipo Editorial" . Revista de razonamiento formalizado . Consultado el 10 de octubre de 2018 .
- ^ "Lauréats 2015 des prix thématiques" (en francés). Academia de Ciencias de Francia . Consultado el 29 de mayo de 2019 .
- ^ "Christine Paulin-Mohring" . awards.acm.org . Consultado el 6 de octubre de 2020 .
- ^ "ACM honra a los innovadores en informática que están cambiando el mundo" . www.acm.org . Consultado el 6 de octubre de 2020 .
- ^ "Christine Paulin-Mohring" . Perfiles de miembros . Academia Europaea . Consultado el 8 de octubre de 2020 .
- ^ Eduardo Gimenez, Christine Paulin-Mohring. Apuntes de conferencias en informática. Tipos de pruebas y programas . Saltador. ASIN B01K93CDG6 .
- ^ Tipos de pruebas y programas: taller internacional, TYPES 2004, Jouy-en-Josas, Francia, 15-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 .CS1 maint: otros ( enlace )
- ^ Demostración interactiva de teoremas: 4ª Conferencia Internacional, ITP 2013, Rennes, Francia, 22-26 de julio de 2013. Actas . Blazy, Sandrine, Paulin-Mohring, Christine, Pichardie, David. Berlín: Springer. 22 de julio de 2013. ISBN 978-3-642-39634-2. OCLC 856650301 .CS1 maint: otros ( enlace )
enlaces externos
- Página de inicio en LRI
- Christine Paulin-Mohring en el Proyecto de genealogía matemática