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)220.127.116.11.07
Fax: +33 (0)18.104.22.168.58