Home

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