Jean-Yves Girard

Jean-Yves Girard
Born	1947 (age 76–77) Lyon, France
Nationality	French
Alma mater	École normale supérieure de Saint-Cloud Paris Diderot University
Known for	Girard's paradox Coherent space Geometry of interaction Linear logic Ludics Proof net System F
Awards	Poncelet Prize (1990) CNRS Silver Medal (1983)
Scientific career
Fields	Logic
Institutions	CNRS
Doctoral advisor	Jean-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.