LOADING

Georges Gonthier

Researcher at Inria Saclay

About

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.

Georges Gonthier

Speaker's events

No items found.
Tickets are available now
Come Join Us to #BuildTheNextWeb

PBWSummit will gather the most prominent blockchain and digital asset organisations from all around the world for two days of insightful talks in Paris!

get tickets
amazing people

Other Speakers

VIEW PROFILE
Rémi Foult

Lead Blockchain Developer at Natixis

VIEW PROFILE
Brian Condenenza

Chief Technology Officer at Bidao

VIEW PROFILE
Eliott Teissonniere

Blockchain Architect at Nodle

VIEW PROFILE
Ahto Truu

Software Architect at Guardtime

VIEW PROFILE
Ben Livshits

Chief Scientist at Brave Software

See All Speakers