He also holds a joint appointment with the Institute de Recherche en Informatique de Toulouse (IRIT) (UMR CNRS 5505) for conducting the research activities in the ACADIE team. He leads his research in the area of theory and practice of rigorous software engineering and formal methods to design and implementation of safe, secure and dependable critical systems related to automotive, medical, avionics and nuclear domains.