Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Benoît Caillaud has contributed to the training programme for the computer-science option of the agrégation in mathematics, at ENS Cachan-Ker Lann.

Supervision

• PhD in progress Ayman Aljarbooh, Scalable Simulation of Hybrid Systems: Language Design and Compilation, started December 2013, supervised by Benoît Caillaud

Juries

Benoît Caillaud has participated to the jury for the defense of Florent Avellaneda's PhD thesis, Verification of stateful Petri-nets under a partial order semantics, December 10th 2013, Aix-Marseille University. He has also served on the junior researcher hiring committee of Inria Sophia Antipolis - Méditerranée