French logician
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
Jean-Yves Girard 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.
The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching