Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Gilles Barthe

Registered user since Mon 11 Nov 2019

Name: Gilles Barthe

Bio: I am scientific director at MPI-SP, 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 MPI-SP, 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-SP, Germany / IMDEA Software Institute, Spain

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

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


PriSC 2021Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track
POPL 2021Author of Deciding Accuracy of Differential Privacy Schemes within the Research Papers-track
Author of A Pre-Expectation Calculus for Probabilistic Sensitivity within the Research Papers-track
Show activities from other conferences

Using general profile