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 |
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.