HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Wed, 17 Jan 2024 17:33:31 GMT access-control-allow-origin: * etag: W/"65a80f6b-94f" expires: Sat, 27 Dec 2025 22:12:28 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: EA50:36A0B4:70DB52:7E0B9F:69505773 accept-ranges: bytes age: 0 date: Sat, 27 Dec 2025 22:02:28 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210053-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1766872948.157416,VS0,VE201 vary: Accept-Encoding x-fastly-request-id: 22970e6f5cee32e4b46c45a64fcb46cee69d8804 content-length: 1133

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

Publications

Contact