Welcome to Xavier THIRIOUX's homepage
A short description
Since 2001, I'm an assistant professor at INPT/university of Toulouse and a member of the IRIT laboratory. I mainly perform my teaching duties at ENSEEIHT (an engineering school), especially in the Digital Science Department (Département Sciences du Numérique). As a member of the ACADIE team, my current research interest includes: software verification, formal modelling and compiler validation and I'm mostly concerned with embedded systems as an application domain.
How to join me
- E-mail: xavier dot thirioux at enseeiht dot fr
- Phone number: (+33)534322182
- Address: office F301, ENSEEIHT, 2 rue Camichel, F-31071 TOULOUSE cedex, France
