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).