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 :

  • Formal methods for system design and verification
  • Interface specifications for component-based design
  • Assume/guarantee contracts
  • Control of discrete event systems
  • Logical specifications
  • Language and automata theory

Contact information

E-mail address:  raclet@irit.fr
Postal address:  IRIT, 118 Route de Narbonne, F-31062 Toulouse, FRANCE
Room: IRIT2-472
Telephone: +33 (0)
Fax: +33 (0)

image image image