Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:23380950n
Noun Named Entity
Categories: Members of Academia Europaea, 20th-century French mathematicians, 1962 births, Mathematical logicians, 21st-century French women
EN
Christine Paulin-Mohring
EN
Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq. Wikipedia
Definitions
Relations
Sources
EN
Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq. Wikipedia
Mathematical logician and computer scientist Wikidata
IS A
homo
AWARD RECEIVED
ACM Software System Award
Michel Monpetit Prize
COUNTRY OF CITIZENSHIP
France
DOCTORAL ADVISOR
Gérard Huet
EDUCATED AT
Paris Diderot University
EMPLOYER
Paris-Saclay University
FAMILY NAME
Paulin
GIVEN NAME
Christine
LANGUAGES SPOKEN, WRITTEN OR SIGNED
French
MEMBER OF
Academia Europaea
OCCUPATION
computer scientist
mathematician
SEX OR GENDER
female
Wikipedia
EN
Christine Paulin-Mohring
Wikidata
EN
Christine Paulin-Mohring

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License