Christine Paulin-Mohring
Mathematical logician and computer scientist
From Wikipedia, the free encyclopedia
Christine Paulin-Mohring (born 1962)[1] is a mathematical logician and computer scientist, and Professor at the Faculté des Sciences of Paris-Saclay University,[2] best known for developing the interactive theorem prover Rocq.
Christine Paulin-Mohring | |
|---|---|
Paulin-Mohring in 2026 | |
| Born | 1962 (age 63–64) |
| Education | Paris Diderot University |
| Known for | Rocq |
| Awards | ACM Software System Award (2013) |
| Scientific career | |
| Fields | Mathematics, computer science |
| Workplaces | Paris-Saclay University |
| Gérard Huet | |
Biography
Paulin-Mohring received her PhD in 1989, under the supervision of Gérard Huet.[3] She has been a professor at Paris-Saclay University since 1997, and she was the dean of the Paris-Saclay Faculty of Sciences from 2016 until 2021.[4]
Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme.[5] She is a member of the editorial board of the Journal of Formalized Reasoning.[6]
Recognition
Paulin-Mohring won the Michel-Monpetit Prize of the French Academy of Sciences in 2015.[7]
She and the rest of the development team of the system Rocq (formerly known as Coq)(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[8][9] awarded by the Association for Computing Machinery.
She was elected to the Academia Europaea in 2014.[10]
Further reading
- Lecture Notes in Computer Science. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, 15–19 December 1996 Selected Papers; Eduardo Gimenez, Christine Paulin-Mohring, Springer[11]
- Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science); Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, Springer, 2008[12]
- Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013, Proceedings (Lecture Notes in Computer Science); Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, Springer, 2013[13]