Georges Gonthier

Publications

4.5K

Citations

H-Index

1988

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft Research (United Kingdom)

Microsoft (United States)

Microsoft Research (India)

Max Planck Institute for Software Systems

Georges Gonthier is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationCryptographyData Security

Publications per year

1988–2016

Publications

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations

Engineering, Program Analysis, Concurrent Programming +9

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text

Engineering, Information Security, Verification +23

The reflexive CHAM and the join-calculus

Cédric Fournet, Georges Gonthier · 1996 · 452 citations · Full text

Computational Logic, Algebraic Logic, Process Calculus +14

Formal Proof—The Four- Color Theorem

Georges Gonthier · 2008 · 299 citations

Engineering, Mathematics Cognition, Verification +17

The geometry of optimal lambda reduction

Georges Gonthier, Martı́n Abadi, Jean-Jacques Lévy · 1992 · 231 citations

Mathematical Programming, Engineering, Graph Theory +12

Rows per page

1–5 of 24