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:

• European projects. HATS (2009-2013), MOBIUS (2005-2009).
• I collaborate with the ANR project Scalp.

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

Selected events:

• Conferences: ESOP'11 (PC chair); SEFM'11 (PC co-chair); ICALP'11; STM'10 (conference co-chair); ITP'10; LPAR'10; VMCAI'10 (PC co-chair);
• Schools: FOSAD'10;