Georges Gonthier
#70,001
Most Influential Person Now
Canadian computer scientist and one of the leading practitioners in formal mathematics
Georges Gonthier's AcademicInfluence.com Rankings
Georges Gonthiercomputer-science Degrees
Computer Science
#5474
World Rank
#5782
Historical Rank
Theoretical Computer Science
#149
World Rank
#149
Historical Rank
Download Badge
Computer Science Mathematics
Georges Gonthier's Degrees
- PhD Computer Science Paris-Saclay University
- Masters Computer Science Paris-Saclay University
Similar Degrees You Can Earn
Why Is Georges Gonthier Influential?
(Suggest an Edit or Addition)According to Wikipedia, Georges Gonthier is a Canadian computer scientist and one of the leading practitioners in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem.
Other Resources About Georges Gonthier
What Schools Are Affiliated With Georges Gonthier?
Georges Gonthier is affiliated with the following schools:
