Georges Gonthier

Statistics

Publications

Citations

4.5K

H-Index

Active since

1988

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 computing, computer science, and formal methods.

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 · Full text

Computing, Computer Engineering, Computer Science +9

Formal Verification of Smart Contracts

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

Computing, Computer Science, Cybersecurity +13

The reflexive CHAM and the join-calculus

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

Computing, Computer Science, Distributed Systems +12

Formal Proof—The Four- Color Theorem

Georges Gonthier · 2008 · 304 citations

Computing, Computer Science, Mathematics +12

The geometry of optimal lambda reduction

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

Computing, Computer Science, Mathematics +9

1–5 of 24