About me...I am Assistant Professor at the University Paul Sabatier-Toulouse III. I hold a CNRS Chair of Excellence on "Formal Methods" (2010-2015) and I am a member of the Institut de Recherche en Informatique de Toulouse. I am also member of the research team ACADIE.
My research topics are :
IRIT, Team ACADIE
E-mail address: email@example.com
Postal address: IRIT, 118 Route de Narbonne, F-31062 Toulouse, FRANCE
Telephone: +33 (0)188.8.131.52.07
Fax: +33 (0)184.108.40.206.58