Researcher at Inria Saclay
Georges Gonthier is a Researcher at Inria Saclay since 2016, when he returned to Inria after 13 years as a Principal Researcher at Microsoft Research Cambridge, which he joined in 2003, after 13 year at Inria. Dr. Gonthier has worked on the Esterel reactive programming anguage, verification of the Ariane 5 flight software, the analysis of security properties, and fully computer-checked proofs of the famous Four Colour and Odd Order Theorems. His current research interests include the specification and verification of Smart Contracts. Dr. Gonthier was awarded the EADS Grand Prize in Computer Science in 2011.