IMDEA Software

IMDEA initiative

Home > People

Gilles Barthe

PhD - University of Manchester, United Kingdom

Research Professor (part time)
Dual Appointment: Director at Max Planck Institute

Gilles Barthe
IMDEA Software Institute

Office: 368
Telephone: +34-91-101-2202 ext 4104
Email: Gilles Barthe e-mail
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.