I was co-chair of the programme committee for the joint FMICS and AVoCS conferences, which took place from 18 to 20 September 2017 in Turin, Italy.
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 LoVe (Logics and Verification, formerly LCR) group of the Computer Science Laboratory of Paris North (LIPN), and more specifically part of the specification and verification research theme.
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.