Christine Paulin-Mohring (born 1962) is a

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

ian and

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

, and Professor at

Paris-Saclay University Paris-Saclay University (french: Université Paris-Saclay) is a public research university based in Paris, France. It is one of the 13 prestigious universities that emerged from the division of the University of Paris, also known as the Sorbonne. ...

, best known for developing the interactive theorem prover

Coq Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof ...

Biography

Paulin-Mohring received her PhD in 1989 under the supervision of

Gérard Huet Gérard Pierre Huet (; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and ...

. She has been a professor at

since 1997 and the dean of the

Paris-Saclay Faculty of Sciences The Paris-Saclay Faculty of Sciences or Orsay Faculty of Sciences, in French : ''Faculté des sciences d'Orsay'', is the mathematics and physics school within Paris-Saclay University, founded in 1956. It offers undergraduate and graduate degrees ...

since 2016. 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 The ''Journal of Formalized Reasoning'' is a peer-reviewed open access academic journal established in 2009. It publishes mathematical formalization, formalization efforts in any area, including classical mathematics, constructive mathematics, form ...

''.

Recognition

Paulin-Mohring won the of the

French Academy of Sciences The French Academy of Sciences (French: ''Académie des sciences'') is a learned society, founded in 1666 by Louis XIV of France, Louis XIV at the suggestion of Jean-Baptiste Colbert, to encourage and protect the spirit of French Scientific me ...

in 2015. She and the rest of the Coq development team (

Thierry Coquand Thierry Coquand (; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. u ...

, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot and Pierre Castéran) won the 2013

ACM Software System Award The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both". It is awarded b ...

awarded by the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

. She was elected to the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

in 2014.

References

External links

Home page
at LRI * {{DEFAULTSORT:Paulin-Mohring, Christine Living people Mathematical logicians Women logicians 21st-century French mathematicians 20th-century French mathematicians French computer scientists French women computer scientists 20th-century women mathematicians 1962 births 21st-century women mathematicians Paris-Saclay University people Members of Academia Europaea 20th-century French women 21st-century French women

Biography

Recognition

Further reading

References

External links