Ontify
⌘
S
⌘
S
Jean-Yves Girard - Ontify
Share
Jean-Yves Girard
French logician.
Wikipedia | Jean-Yves Girard
Statements about
Jean-Yves Girard
External Pages About Jean-Yves Girard
ISNI
Scopus Author
Place of Birth
Lyon
Occupation
Mathematician
Philosopher
Researcher
Field of Work
Proof Theory
Instance Of
Human
Country of Citizenship
France
Date of Birth
1947
Member Of
French Academy of Sciences
(5/30/1994 - )
Academia Europaea
(1995 - )
Given Name
Jean-Yves
Award Received
Family Name
Doctoral Advisor
Name in Native Language
Educated At
Employer
Languages Spoken, Written or Signed
Sex or Gender
Student Of
Position Held
Official Website
Described at URL
Image
Poncelet Prize
(1990)
Point in Time
:
1990
CNRS Silver Medal
(1982)
Point in Time
:
1982
Girard
Jean-Louis Krivine
Jean-Yves Girard
École Normale Supérieure De Lettres Et Sciences Humaines
National Center for Scientific Research
French
Male
Jean-Louis Krivine
Director of Research at CNRS
https://girard.perso.math.cnrs.fr/
http://iml.univ-mrs.fr/~girard
https://comihistocnrs.hypotheses.org ...
Start Time
:
5/30/1994
Affiliation
:
AE Section Informatics
Start Time
:
1995
Wikidata
