EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Master : Benoît Caillaud has taught an invited course on hybrid systems modeling in the first year master curriculum in computer science of ENS Rennes. This was a joint course with Marc Pouzet, representing a total of 27 hours EqTD.

Supervision

  • PhD in progress : Ayman Aljarbouh, Accelerated simulation of hybrid systems, started December 2013, supervised by Benoît Caillaud

  • PhD in progress : Guillaume Baudart, Time-based protocols for LTTA, started December 2013, co-supervised by Albert Benveniste and Marc Pouzet (Parkas Inria project-team, ENS, Paris).