Georges Gonthier
Canadian computer scientist From Wikipedia, the free encyclopedia
Canadian computer scientist From Wikipedia, the free encyclopedia
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.