Iniciativa IMDEA

Inicio > Personal

Gilles Barthe

PhD - University of Manchester, UK

Research Professor (part time)
Plaza Asociada: Director at Max Planck Institute

Gilles Barthe
Instituto IMDEA Software

Office: 368
Telephone: +34-91-101-2202 ext 4104
Email: Gilles Barthe e-mail
Página web:

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.

Intereses de Investigación

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