Jean-Yves Girard
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | Lyon |
| France | |
| Doctoral advisor | Jean-Louis Krivine |
| Field | Logic |
| Job | Logician |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1114979 |
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 Luminy.
