Section: Dissemination

Teaching - Supervision - Juries

Supervision

• PhD: Quentin Sabah, “Simple Isolation for An Abstract Actor Machine”, Grenoble University, 4/12/2013, advised by Jean-Bernard Stefani.

• PhD: Gideon Smeding, “Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems”, Grenoble University, 19/12/2013, co-advised by Gregor Goessler and Joseph Sifakis.

• PhD in progress: Vagelis Bebelis, “Advanced dataflow programming for embedded systems”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Dmitry Burlyaev, “Specification and synthesis of fault-tolerant circuits”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Yoann Geoffroy, “Towards a general causality analysis framework”, Grenoble University, since 10/2013, co-advised by Gregor Goessler and Daniel Le Métayer (Privatics Inria team).

Juries

• Alain Girault was referee for the PhD thesis of Hervé Yviquel (University of Rennes 1) and for the PhD thesis of Léonard Gérard (University of Orsay).

• Jean-Bernard Stefani was referee for the PhD thesis of Cédric Pasteur (University of Paris VI).