Gilles Barthe

Principles Of Security and Privacy
+49 234 90498 216

I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and a part-time research professor at IMDEA Software Institute, Madrid, Spain. 

My research interests include programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic. My most recent research develops programming language techniques and verification methods for security, with a focus on relational verification and its applications to cryptography and differential privacy.

Foundations of Security and Privacy Group

Santiago Arranz Olmos
Lionel Blatter
Benjamin Lipp
Miguel Quaresma
Itsaka Rakotonirina

Former Members

Basavesh Ammanaghatta Shivakumar
Sunjay Cauligi
Marcel Fourné
Vineet Rajani
Jiajia Song
Li Zhou
Go to Editor View