I am Full Professor since 2003 at the Networks and Telecommunications department of the Technology Institute of Villetaneuse, Université Paris 13. I am a member of the SAFER (Safety and Security Analyses via Formal and Efficient veRification) group of the Computer Science Laboratory of Paris North (LIPN).
I am also Adjunct Referent Scientific Director of CNRS for the Normandy region.

My area of expertise is formal specification and verification of concurrent systems so as to guarantee their appropriate behaviour, using automata or Petri nets models, as well as parametric models. In order to tackle the well-known state space explosion problem, the research I develop exploits modularity in the models, proposes distributed approaches, and algorithms for parameter synthesis.

I teach in the BUT technology bachelor programme at the Networks and Telecommunications department of the Technology Institute of Villetaneuse, Université Paris 13, as well as in the Master ICT at the University of Science and Technology in Hanoï (USTH), Vietnam. For more information about my lectures, refer to the relevant section on the french version of my web page (enseignement).