Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:23380950n
Noun Named Entity
Categories: Especialistas em lógica matemática, Matemáticos da França do século XXI, Mulheres cientistas da computação da França, Cientistas da computação da França, Matemáticos da França do século XX
PT
Christine Paulin-Mohring
PT
Christine Paulin-Mohring é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq. Wikipedia
Definitions
Relations
Sources
PT
Christine Paulin-Mohring é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq. Wikipedia
IS A
humano
AWARD RECEIVED
EN
ACM Software System Award
EN
Michel Monpetit Prize
COUNTRY OF CITIZENSHIP
frança
DOCTORAL ADVISOR
Gérard Huet
EDUCATED AT
Universidade Paris VII
EMPLOYER
Universidade Paris-Saclay
FAMILY NAME
Paulin
GIVEN NAME
Christine
LANGUAGES SPOKEN, WRITTEN OR SIGNED
francês
MEMBER OF
Academia Europaea
OCCUPATION
cientista da computação
matemático
SEX OR GENDER
feminino
Wikipedia
PT
Christine Paulin-Mohring
Wikidata
PT
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