Christine Paulin-Mohring

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Kj cheetham (talk | contribs) at 12:10, 25 June 2020 (Minor formatting). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Christine Paulin-Mohring
Born1962 (1962)
Alma materParis Diderot University
Known forCoq
AwardsACM Software System Award (2013)
Scientific career
FieldsMathematics, computer science
Doctoral advisorGérard Huet

Christine Paulin-Mohring (born 1962)[1] is a mathematical logician and computer scientist, and Professor[ambiguous] 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.[2] She has been a professor at Paris-Sud 11 University since 1997.[3]

Between 2012 and 2015, she was the Scientific Coordinator of the Labex DigiCosme.[4] Currently,[when?] she is a member of the editorial board of the Journal of Formalized Reasoning.[5]

Recognition

Paulin-Mohring won the Michel-Monpetit Prize [fr] of the French Academy of Sciences in 2015.[6]

She and the rest of the Coq development team (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 awarded by the Association for Computing Machinery.

References

  1. ^ Birth year from Library of Congress catalog entry. Retrieved 1 December 2018.
  2. ^ Christine Paulin-Mohring at the Mathematics Genealogy Project
  3. ^ "Short biography". Laboratoire de Recherche en Informatique. Retrieved 11 May 2020.
  4. ^ "Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Retrieved 10 October 2018. [dead link]
  5. ^ "Editorial Team". Journal of Formalized Reasoning. Retrieved 10 October 2018.
  6. ^ "Lauréats 2015 des prix thématiques" (in French). French Academy of Sciences. Retrieved 29 May 2019.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Christine_Paulin-Mohring&oldid=964424065"