Christine Paulin-Mohring


Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor at Paris-Sud 11 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. She has been a professor at Paris-Sud 11 University since 1997.
Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme. Currently, she is a member of the editorial board of the Journal of Formalized Reasoning.

Recognition

Paulin-Mohring won the of the French Academy of Sciences in 2015.
She and the rest of the Coq development team won the 2013 ACM Software System Award awarded by the Association for Computing Machinery.