Write a Blog >>
Gilles Barthe

Registered user since Mon 11 Nov 2019

Name:Gilles Barthe

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.

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


POPL 2020 Formal Verification of a Constant-Time Preserving C Compiler
Relational Proofs for Quantum Programs
A Probabilistic Separation Logic
Show activities from other conferences

POPL 2020-profile
View general profile