Scholar
Gilles Barthe
Google Scholar ID: kAkmfWEAAAAJ
MPI-SP and IMDEA Software Institute
Citations & Impact
Citations
8,413
H-index
44
i10-index
124
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Involved in the Formosa project. Publication records can be found on DBLP.
Research Experience
- Scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and (part-time) research professor at IMDEA Software Institute, Madrid, Spain.
Background
- Research interests include programming languages and program verification, security, privacy, and cryptography.
Miscellany
- Email: firstname.lastname@mpi-sp.org, address: MPI-SP, Universitaetsstr. 140, 44799 Bochum, Germany
Co-authors