CHAIR HOLDER 2016/2017


BIO: Gilles Barthe is a research professor at the IMDEA Software Institute.
His research interests include logic, formal verification, programming languages, and security. His current work focuses on verification and synthesis methods for cryptography and differential privacy. He is a member of the editorial boards of the Journal of Automated Reasoning and Journal of Computer Security.

More Info: