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.
From €90 to €450
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 on our dedicated online platform!

Get your tickets
amazing people

Other Speakers

VIEW PROFILE
Ryan Selkis

Co-founder & CEO of Messari

VIEW PROFILE
Karim Sabba

Co-founder of Woorton & the Paris Blockchain Week Summit

VIEW PROFILE
Iryan Tshimashenka

Developer Evangelist, R3

VIEW PROFILE
Arthur Breitman

Early Tezos Architect

VIEW PROFILE
Hugo Briand

Blockchain Lead at eKino

See All Speakers