I am a researcher at Inria in Rennes (France), in charge of the Hycomes joint team of the Inria Rennes Bretagne Atlantique research center and of IRISA

My current research interests cover formal methods in cyberphysical systems design, with a particular focus on:

■ Interface theories, contract-based design methods and compositional reasoning methods for cyberphysical systems design

■ Hybrid systems modeling languages for cyberphysical systems design.

■ Structural analysis of multimode DAE systems and of nonsmooth dynamical systems.

■ Cosimulation methods for large cyberphysical systems models.