Date of Birth: 
About Georges Gonthier
- Georges Gonthier is a Canadian computer scientist and one of the leading practitioners in formal mathematics.
- He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem.
- (Both were written using the proof assistant Coq.)
Read more at Wikipedia