Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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, security, and cryptography.

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:

• SEFM'11; CPP'11; FAST'11; ESSOS'12; POST'12;