Christine Paulin-Mohring
   HOME

TheInfoList



OR:

Christine Paulin-Mohring (born 1962) is a
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
ian and
computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
, and Professor Faculté des Sciences at
Paris-Saclay University Paris-Saclay University (, ) is a combined technological research institute and public research university in Orsay, France. Paris-Saclay was established in 2019 after the merger of four technical ''grandes écoles,'' as well as several technol ...
, best known for developing the interactive theorem prover
Coq Coenzyme Q10 (CoQ10 ), also known as ubiquinone, is a naturally occurring biochemical cofactor (coenzyme) and an antioxidant produced by the human body. It can also be obtained from dietary sources, such as meat, fish, seed oils, vegetables, ...
.


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
Paris-Saclay University Paris-Saclay University (, ) is a combined technological research institute and public research university in Orsay, France. Paris-Saclay was established in 2019 after the merger of four technical ''grandes écoles,'' as well as several technol ...
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 formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program ...
''.


Recognition

Paulin-Mohring won the of the
French Academy of Sciences The French Academy of Sciences (, ) is a learned society, founded in 1666 by Louis XIV at the suggestion of Jean-Baptiste Colbert, to encourage and protect the spirit of French Scientific method, scientific research. It was at the forefron ...
in 2015. She and the rest of the Coq development team (
Thierry Coquand Thierry Coquand (; born 18 April 1961) is a French computer scientist and mathematician who is currently a professor of computer science at the University of Gothenburg, having previously worked at INRIA. He is known for his work in constructive ...
,
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 ...
, 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 membe ...
. 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 Europe ...
in 2014.


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 * ''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 * 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


References


External links

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