I co-organize the workshop
FIT (Foundations of
Interface Technologies) which will take place the Sunday March 25th in
Tallinn during ETAPS 2012.
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.Research interests
My research topics are :
|
Contact information
IRIT, Team ACADIE
E-mail
address: raclet@irit.fr
Postal address: IRIT, 118 Route de Narbonne, F-31062
Toulouse, FRANCE
Room: IRIT2-472
Telephone: +33 (0)5.61.55.72.07
Fax: +33 (0)5.61.55.62.58
