S4 - 2012 - Annual activity report

Section: Dissemination

Benoit Caillaud has contributed to the training programme for the computer-science option of the agregation in mathematics, at ENS Cachan-Ker Lann.
Sophie Pinchinat has contributed to three courses on verification and game theory in the computer science master degree of the University of Rennes 1 and at Supelec. She has taught algorithmics at undergraduate level at the university of Rennes 1. She has taught embedded systems design in the engineering degree of the university of Rennes 1.

Several PhDs are in progress:

Lamine Diouf, Artefact opacity in workflow systems, started in 2010, supervised by Eric Badouel.
Bastien Maubert, Logical Foundations of Imperfect Information Games, started September 2010, co-supervised by Sophie Pinchinat and Guillaume Aucher.
Stéphanie Georges, Formal approaches to physical security analysis: Attack tree synthesis, started December 2011, co-supervised by Sophie Pinchinat and Achour Mostefaoui.

Sophie Pinchinat has served on the PhD thesis jury of Loïg Jézeéquel (project-team DistribCom ).