Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03394934n
Noun Named Entity
Categories: Mathématicien français du XXe siècle, Théorie des types, Élève de l'École normale supérieure de Saint-Cloud, Naissance en 1947, Directeur de recherche au CNRS
FR
Jean-Yves Girard  Jean Yves Girard
FR
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS au département de logique de la programmation de l'institut de mathématiques de Luminy. Wikipedia
Definitions
Relations
Sources
FR
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS au département de logique de la programmation de l'institut de mathématiques de Luminy. Wikipedia
IS A
être humain
AWARD RECEIVED
prix Poncelet
médaille d'argent du CNRS
COUNTRY OF CITIZENSHIP
France
DOCTORAL ADVISOR
Jean-Louis Krivine
EDUCATED AT
École normale supérieure de Fontenay-Saint-Cloud
EMPLOYER
Centre national de la recherche scientifique
FAMILY NAME
Girard
FIELD OF WORK
théorie de la démonstration
GIVEN NAME
Jean-Yves
LANGUAGES SPOKEN, WRITTEN OR SIGNED
français
MEMBER OF
Académie des sciences
Academia Europaea
OCCUPATION
mathématicien
philosophe
PLACE OF BIRTH
Lyon
POSITION HELD
directeur de recherche au CNRS
SEX OR GENDER
masculin
STUDENT OF
Jean-Louis Krivine
Wikipedia
FR
Jean-Yves Girard
Wikidata
FR
Jean-Yves Girard
Wikipedia Redirections
FR
Jean Yves Girard
Wikidata Alias
FR
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