I'm involved in the JSCert project, which aims at certifying analyses for JavaScript.

Simon Boulier, Martín Escarrà, Petar Maksimović, and I are proving results from this paper on HOcore in Coq. The current development can be browsed here.

My current research focuses on the Kell Calculus and more generally on programming languages for component-based systems. I also develop static analyses for distributed systems. I actively collaborate with Davide Sangiorgi at Università di Bologna working on the expressiveness of process calculi, and with Nabil Layaïda and Pierre Genevès of the WAM team at INRIA on static analyses for XPath.

I was part of the Harmony Project in collaboration with Benjamin C. Pierce at the University of Pennsylvania.

I am a member of the steering committee (comité de pilotage) of the Journées Francophones des Langages Applicatifs (JFLA). I was president of the JFLA in 2009 and vice-president in 2008.

I participated in the program committees of the following conferences: JFLA 2010, DBPL 2009, TYPES 2009, ICFP 2008, JFLA 2007, PLAN-X 2007, TGC 2007, JFLA 2006, and DBPL 2005.