INRIA Senior Researcher.
Since 2011 September 1st, I am leading the AVALON team of the LIP which is an Inria research team since 2012, January 1st, and a joint Inria-CNRS-ENSL-LyonI research team since 2014, July 1st.
I was a member of the GRAAL INRIA project-team (October 1st, 2008 – December 31, 2011). Between October 2000 and October 2008, I was a member of the PARIS INRIA project-team.
I received the Habilitation à diriger des recherches (HDR) from University of Rennes I, in 2006, November 10th. I got my PhD from ENS Lyon, in 1999, December 3rd.
Inria annual research reports of the teams whose I was a member.