Christine Paulin-Mohring

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
Born	1962 (age 62–63)
Alma mater	Paris Diderot University
Known for	Rocq
Awards	ACM Software System Award (2013)
Scientific career
Fields	Mathematics, computer science
Institutions	Paris-Saclay University
Doctoral advisor	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 [fr] 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]