Jean-yves Girard
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Age | 77 |
| Official site | girard.perso.math.cnrs.fr |
| Born | Lyon |
| France | |
| Books | Proofs and types |
| Edited works | Proof Theory Logical... |
| Date of birth | January 1,1947 |
| Awards | Poncelet Prize |
| C.N.R.S. Silver Medal | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3621988 |
Jean-yves Girard Life story
Jean-Yves Girard is a French logician working in proof theory. He is the research director at the mathematical institute of the University of Aix-Marseille, at Luminy.
