Georges Gonthier
Advanced Researcher at Inria
Saclay, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolGeorges Gonthier is an advanced researcher with over 30 years of experience at top research institutions, currently based at Inria in Saclay and focused on foundational computer science and formal mathematics. His career spans roles at Microsoft Research UK and AT&T Bell Labs, combining deep theoretical expertise with practical contributions to research software. An active contributor to the influential math-comp repository, he has improved core algebraic structures and proofs, demonstrating strength in formalization and backend development for mathematical libraries. He holds advanced training from École normale supérieure and a doctorate from Université Paris‑Sud, reflecting a long-standing commitment to rigorous research. Colleagues know him for making subtle, correctness-driven changes that simplify complex formal systems—work that often reveals elegant simplifications rather than headline features.
10 years of coding experience
16 years of employment as a software developer
DEA, Computer and Information Sciences, General, DEA, Computer and Information Sciences, General at Ecole normale supérieureResearch Doctorate, Computer Science, Research Doctorate, Computer Science at Universite Paris-Sud
Github Skills (3)
coq10
algebra10
ssreflect10
Programming languages (2)
Github contributions (5)
math-comp/math-comp
Nov 2015 - Mar 2022
Mathematical Components
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 1 review, 59 commits in 6 years 4 months
Contributions summary:Georges made several commits focused on modifying and improving the mathematical components of the `math-comp/math-comp` repository. Their contributions involved removing redundant structures for finite powers, and addressing issues in various algebra files. They also corrected join values and added instances and lemmas for regular algebras. The user demonstrated proficiency in modifying and enhancing the algebraic and mathematical structures within the project.
ssreflectmathdependent-typeshomotopy-type-theorysymbolic-computation
ggonthier/math-comp
Nov 2019 - Oct 2020
Mathematical Components
Contributions:8 pushes, 4 branches in 10 months
mathematicalmathjulia
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.