Professor at Université P. & M. Curie

Head of the MoVe Team

LIP6 - CNRS UMR 7606

4 Place Jussieu,

75252 Paris Cedex 05

France

+33 1 44 27 88 20

My research work is related to distributed systems, software engineering and formal methods.

My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques.

So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets.

I also try to provide prototype implementations of these techniques. It is thus possible to assess these with realistic problems. So far, I tackle applications in Middleware, Intelligent Transport Systems and Intrusion Detection Systems that are good examples of complex distributed systems.

Last update on January 6, 2010