Georges Gonthier (Montreal, ) é um cientista da computação canadense, pesquisador no Inria Saclay - Île-de-France Research Centre. É um dos principais praticantes da matemática formal. Liderou a formalização do teorema das quatro cores e a prova de Feit-Thompson do teorema da ordem ímpar. (Ambas foram escritas usando o assistente de prova Coq.)
Para o Congresso Internacional de Matemáticos de 2022 em São Petersburgo está listado como palestrante convidado.ICM2022 Invited Lectures
Ligações externas phys.org Six-year journey leads to proof of Feit-Thompson Theorem Feit-Thompson theorem has been totally checked in Coq
Categoria:Teoria dos tipos Categoria:Cientistas da computação do Canadá Categoria:Matemáticos do século XX Categoria:Pessoas vivas