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