Gilles Barthe

Registered user since Mon 11 Nov 2019

Name: Gilles Barthe

Bio: I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and a part-time research professor at IMDEA Software Institute, Madrid, Spain. My research interests include programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic. My most recent research develops programming language techniques and verification methods for security, with a focus on relational verification and its applications to cryptography and differential privacy.

Prior to joining Max Planck, I was affiliated with IMDEA Software Institute, Spain (2008-2018); INRIA Sophia-Antipolis Méditerranée, France (1999-2008); University of Minho, Portugal (1998-1999); Chalmers University, Sweden (1997-1998); CWI, Netherlands (1995-1997); University of Nijmegen, Netherlands (1993-1995); University of Manchester, UK (1990-1993). I received a Ph.D. in Mathematics from the University of Manchester, UK, in 1993, and an Habilitation à diriger les recherches in Computer Science from the University of Nice, France, in 2004.

Country: Germany

Affiliation: MPI for Security and Privacy (MPI-SP) and IMDEA Software Institute

Personal website: http://gbarthe.github.io

Research interests: Formal methods, programming languages and program verification, software and system security, cryptography and privacy

Contributions

POPL 2020Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
Author of Relational Proofs for Quantum Programs within the Research Papers-track
Author of A Probabilistic Separation Logic within the Research Papers-track
PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
ETAPS 2019Author of ETAPS Steering committee meeting within the Social-track
Satellite Events in Executive Board
PLDI 2019Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POPL 2019Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track
ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Author of Monadic refinements for relational cost analysis within the Research Papers-track
Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track
Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track
POPL 2017Author of Coupling proofs are probabilistic product programs within the POPL-track
Author of Relational Cost Analysis within the POPL-track
ESOP 2015Committee Member in Program Committee within the ESOP-track