Christine Paulin-Mohring
Christine Paulin-Mohring | |
|---|---|
| Born | 1962 |
| Alma mater | Paris Diderot University |
| Known for | Coq |
| Awards | ACM Software System Award (2013) |
| Scientific career | |
| Fields | Mathematics, computer science |
| Institutions | Paris-Saclay University |
| Doctoral advisor | Gérard Huet |
Christine Paulin-Mohring (born 1962)[1] is a mathematical logician and computer scientist, and Professor[ambiguous] at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
Biography
Paulin-Mohring received her PhD in 1989 under the supervision of Gérard Huet.[2] She has been a professor at Paris-Saclay University since 1997 and the dean of the Paris-Saclay Faculty of Sciences since 2016.[3]
Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme.[4] Currently,[when?] she is a member of the editorial board of the Journal of Formalized Reasoning.[5]
Recognition
Paulin-Mohring won the Michel-Monpetit Prize of the French Academy of Sciences in 2015.[6]
She and the rest of the Coq development team (Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran) won the 2013 ACM Software System Award awarded by the Association for Computing Machinery.
References
- ^ Birth year from Library of Congress catalog entry. Retrieved 1 December 2018.
- ^ Christine Paulin-Mohring at the Mathematics Genealogy Project
- ^ "Short biography". Laboratoire de Recherche en Informatique. Retrieved 11 May 2020.
- ^ "Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Archived from the original on 19 August 2017. Retrieved 10 October 2018.
- ^ "Editorial Team". Journal of Formalized Reasoning. Retrieved 10 October 2018.
- ^ "Lauréats 2015 des prix thématiques" (in French). French Academy of Sciences. Retrieved 29 May 2019.
External links
- Home page at LRI
- Christine Paulin-Mohring at the Mathematics Genealogy Project
