Gilles Barthe

I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and (part-time) research professor at IMDEA Software Institute, Madrid, Spain. My research interests include programming languages and program verification, security, privacy, and cryptography.

Projects

Formosa

Publications

DBLP

Contact

Email: firstname.lastname@mpi-sp.org

address: MPI-SP, Universitaetsstr. 140, 44799 Bochum, Germany