IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Gilles Barthe

Gilles Barthe

Gilles Barthe
PhD - Universidad de Manchester, Reino Unido
Research Professor (Part time)

Dual Appointment: Director en Instituto Max Planck para la Seguridad y la Privacidad, Alemania

Despacho: 212
Teléfono: +34-91-101-2202 ext 4104
Página web:

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.