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


Address:


  INRIA Rennes / IRISA

  Campus de Beaulieu

  35042 Rennes cedex

  France


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