Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:23380950n
Noun Named Entity
IT
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
Relations
Sources
IS A
uomo
AWARD RECEIVED
EN
ACM Software System Award
EN
Michel Monpetit Prize
COUNTRY OF CITIZENSHIP
Francia
DOCTORAL ADVISOR
Gérard Huet
EDUCATED AT
Università Paris VII - Denis-Diderot
EMPLOYER
Università di Parigi-Saclay
FAMILY NAME
Paulin
GIVEN NAME
Christine
LANGUAGES SPOKEN, WRITTEN OR SIGNED
francese
MEMBER OF
Academia Europæa
OCCUPATION
informatico
matematico
SEX OR GENDER
femmina
Wikidata
IT
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