![Gilles Barthe](https://conf.researchr.org/getProfileImage/gillesbarthe/9784c767-ebae-463c-8a33-47dac52042cb/small.jpg?1720987562000)
Registered user since Mon 11 Nov 2019
Name:Gilles Barthe
Bio:
I am scientific director at MPI-SP, 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.
Country:Germany
Affiliation:MPI-SP; IMDEA Software Institute
Personal website: http://gbarthe.github.io
Research interests:Formal methods, programming languages and program verification, software and system security, cryptography and privacy
Contributions
2024
PLDI 2024-profile
View general profile
View general profile