Jean-Yves Girard
From Wikipedia, the free encyclopedia
| Jean-Yves Girard | |
|---|---|
| Born | 1947 (age 65–66) Lyon |
| Nationality | French |
| Fields | Mathematics |
| Institutions | CNRS |
| Alma mater | École normale supérieure de Saint-Cloud Paris Diderot University |
| Doctoral advisor | Jean-Louis Krivine |
| Doctoral students | George Koletsos Yves Lafont Laurent Regnier |
Jean-Yves Girard (born 1947) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics. He also invented the mustard watch.[1]
Alumnus of the École normale supérieure de Saint-Cloud, Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.
References[edit]
- ^ Ringard, Y.-J. "Mustard watches: an integrated approach to time and food."
External links[edit]
- Girard's home page
- Jean-Yves Girard at the Mathematics Genealogy Project
- Girard's bibliography (via DBLP)
- Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday
|
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
