Georges Gonthier
Georges Gonthier | |
---|---|
Nascimento | 18 de abril de 1962 (62 anos) Montreal |
Cidadania | Canadá |
Ocupação | cientista de computação |
Empregador(a) | Microsoft Research |
Página oficial | |
https://www.msr-inria.fr/researchers/georges-gonthier/ | |
[edite no Wikidata] |
Georges Gonthier (Montreal, 18 de abril de 1962) é 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.[1]
Referências
- ↑ 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
Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|