Benoît Caillaud


I am a researcher at Inria in Rennes (France), in charge of the Hycomes team.

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

Interface theories, contract-based design methods and compositional reasoning methods.

Hybrid modeling languages for cyber-physical system design.


Welcome to Benoît Caillaud’s professional pages

Contact informations

email: benoit(dot)caillaud(at)inria(dot)fr

phone: +33 2 99 84 74 07


  INRIA Rennes / IRISA

  Campus de Beaulieu

  35042 Rennes cedex


Location: 48° 6'59.11"N  1°38'21.65"W