Jean-Yves Girard

Jean-Yves Girard
Born1947 (age 76–77)
Lyon, France
NationalityFrench
Alma materÉcole normale supérieure de Saint-Cloud
Paris Diderot University
Known forGirard's paradox
Coherent space
Geometry of interaction
Linear logic
Ludics
Proof net
System F
AwardsPoncelet Prize (1990)
CNRS Silver Medal (1983)
Scientific career
FieldsLogic
InstitutionsCNRS
Doctoral advisorJean-Louis Krivine [fr]

Jean-Yves Girard (French: [ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is a research director (emeritus) at the mathematical institute of University of Aix-Marseille, at Luminy.