IMDEA Software

IMDEA initiative

Home > People > Gilles Barthe

Gilles Barthe

Gilles Barthe
PhD - University of Manchester, United Kingdom
Research Professor (Part time)

Dual Appointment: Director at Max Planck Institute for Security and Privacy, Germany

Office: 212
Telephone: +34-91-101-2202 ext 4104
Home Page:

Short 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 is a scientific director at Max Planck Institute, Germany, and a part-time research professor at the IMDEA Software Institute, which he joined in April 2008.

His research interests include programming languages and program verification, software and system security, cryptography, formal methods and foundations of mathematics and computer science. His recent research develops programming language techniques and verification methods for security, with a focus on cryptographic implementations and differentially private computations.

Research Interests

Formal methods; programming languages; software security; cryptography; foundations of mathematics and computer science.