Gilles Barthe

Not registered as user yet

Name: Gilles Barthe

Bio: Bio: Gilles Barthe 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. He joined the IMDEA Software Institute in April 2008. Previously, he was head of the Everest team on formal methods and security at INRIA Sophia-Antipolis Méditerranée, France. He also held positions at the University of Minho, Portugal; Chalmers University, Sweden; CWI, Netherlands; University of Nijmegen, Netherlands. He has published more than 100 refereed scientific papers. He has been coordinator/principal investigator of many national and European projects, and served as the scientific coordinator of the FP6 FET integrated project “MOBIUS: Mobility, Ubiquity and Security” for enabling proof-carrying code for Java on mobile devices (2005-2009). He has been a PC member of many conferences (CSF, ESORICS, FM, ICALP, ITP…), and served as PC (co-)chair of VMCAI’10, ESOP’11, FAST’11, and SEFM’11. He is a member of the editorial board of the Journal of Automated Reasoning. His research interests include formal methods, programming languages and program verification, software and system security, and cryptography, and foundations of mathematics and computer science.

Country: Spain

Affiliation: IMDEA Software Institute

Personal website:

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


ETAPS 2019Satellite Events in Executive Board
ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2018Committee Member in Program Committee
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