Christine Paulin-Mohring

Christine Paulin-Mohring
Alma mater Paris Diderot University
Known for Coq
Awards ACM Software System Award (2013)
Scientific career
Fields Mathematics, Computer Science
Doctoral advisor Gérard Huet

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, for which she and the rest of the 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.

Biography

Paulin-Mohring received her PhD in 1989 under the supervision of Gérard Huet.[1] She has been professor at Paris-Sud 11 University since 1997.[2]

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

References

  1. ↑ Christine Paulin-Mohring at the Mathematics Genealogy Project
  2. ↑ "bio". www.lri.fr. Retrieved 2018-10-10.
  3. ↑ "Labex DigiCosme | Organisation-EN". digicosme.lri.fr. Retrieved 2018-10-10.
  4. ↑ "Editorial Team". jfr.unibo.it. Retrieved 2018-10-10.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.