Jean-Yves Girard
French logician · girard.perso.math.cnrs.fr
>
Jean-Yves Girard is a French logician working in proof theory. He is a research director at the mathematical institute of University of Aix-Marseille, at Luminy. Wikipedia
Born: 1947 (age 77 years), Lyon, France
Awards: Poncelet Prize (1990) and C.N.R.S. Silver Medal (1983)
Fields: Logic
Books
