Jean-Yves Girard
Jean-Yves Girard | |
|---|---|
| Born | 1947 (age 77–78) 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 Proof of Takeuti's conjecture |
| 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.