Georges Gonthier
Jump to navigation
Jump to search
Georges Gonthier is a Canadian computer scientist and practitioner in formal mathematics. He led the formalization of the four color theorem[1] and Feit–Thompson proof of the odd-order theorem.[2] (Both were written using the proof assistant Coq.)
In 2011, as a principal researcher at Microsoft Research Cambridge, he received the EADS Foundation Grand Prize in Computer Science, given jointly by the European Aeronautic Defence and Space Company and the French Academy of Sciences.[3]
See also
References
- ^ Krantz, Steven G. (2011). "The Tantalizing Four-Color Theorem". The Proof is in the Pudding. Springer New York. pp. 107–115. doi:10.1007/978-0-387-48744-1_6. ISBN 9780387487441.
- ^ phys.org news article describing Feit-Thompson proof
- ^ "Gonthier Earns EADS Foundation Honor". Microsoft Research Blog. Microsoft. November 22, 2011. Retrieved 2024-06-11.
Categories:
- Articles with short description
- Short description is different from Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with DBLP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 20th-century Canadian mathematicians
- Living people
- Year of birth missing (living people)
- All stub articles
- Mathematician stubs