Christine Paulin-Mohring is a French mathematical logician and computer scientist who is a professor at Paris-Saclay University's Faculty of Sciences, where she served as dean from 2016 to 2021. She earned her PhD in 1989 under Gerard Huet's supervision and has held her Paris-Saclay professorship since 1997. She is best known for developing Rocq, formerly called Coq, an interactive theorem prover, and she and the development team, including Thierry Coquand and Gerard Huet among others, received the 2013 ACM Software System Award for this work. She won the Michel Monpetit Prize from the French Academy of Sciences in 2015, was elected to Academia Europaea in 2014, and served as scientific coordinator of Labex DigiCosme from 2012 to 2015.
Facts
AwardACM Software System Award 1 Connections
In Field
Source Christine Paulin-Mohring (Wikipedia)
Invented
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Christine Paulin-Mohring
- Wikidata Q33138766, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q33138766 P569 (date of birth)
View the SourceChristine Paulin-Mohring (Wikipedia)
In Field: Formal Methods, LeadQuote, In Field: Formal Methods, Lead
Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at the Faculté des Sciences of Paris-Saclay University, best known for developing the interactive theorem prover Rocq.
Rocq - Wikipedia
Invented: Coq (proof assistant), Infobox: authorQuote, Invented: Coq (proof assistant), Infobox: author
Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, Pierre Castéran
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.