Contact information:
Phone: +34 913363742 ext 3321
Cell: +34608574510
Email: Gilles [DOT] Barthe [AT] imdea [DOT] org


My research interests lie in the areas of formal methods, programming languages and security.

Publications:
(at DBLP)

Selected projects:

Editorial duties:
I am a member of the editorial board of Journal of Automated Reasoning.

Selected events: