Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03394934n
Noun Named Entity
IT
Jean-Yves Girard
EN
Jean-Yves Girard is a French logician working in proof theory. Wikipedia
Relations
Sources
IS A
uomo
AWARD RECEIVED
EN
Poncelet Prize
EN
CNRS Silver Medal
COUNTRY OF CITIZENSHIP
Francia
DOCTORAL ADVISOR
Jean-Louis Krivine
EDUCATED AT
ecole normale supérieure de saint-cloud
EMPLOYER
Centre national de la recherche scientifique
FAMILY NAME
Girard
FIELD OF WORK
teoria della dimostrazione
GIVEN NAME
Jean-Yves
LANGUAGES SPOKEN, WRITTEN OR SIGNED
francese
MEMBER OF
Accademia francese delle scienze
Academia Europæa
OCCUPATION
matematico
filosofo
PLACE OF BIRTH
Lione
POSITION HELD
EN
Director of Research at CNRS
SEX OR GENDER
maschio
STUDENT OF
Jean-Louis Krivine
Wikidata
IT
Jean-Yves Girard

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