Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Frédéric Besson, Compilation, 68h, level M1, Insa Rennes, France

• Licence : Sandrine Blazy, Programmation fonctionnelle, 30h, L3, Rennes 1, France

• Master : Sandrine Blazy, Méthodes Formelles pour le développement de logiciels sûrs, 53h, M1, Rennes 1, France

• Master : Sandrine Blazy, Software vulnerabilities, 26h, M2, Rennes 1

• Master : Sandrine Blazy, Mechanised semantics, 15h, M2, Rennes 1, France

• Licence : David Cachera, Formal Languages and Computability, 24h, L3, ENS Rennes

• Licence : David Cachera, Logics, 24h, L3, ENS Rennes

• Licence : David Cachera, Algorithmics, 12h, L3, ENS Rennes

• Master : David Cachera, Programming Language Semantics, 24h, M1, Rennes 1

• Licence : Delphine Demange, Algorithmique et Programmation Fonctionnelle, 80h, level L1, Université de Rennes 1 / Istic, France

• Master : Delphine Demange, Sémantique, 8h, level M1, Université de Rennes 1 / Istic / ENS Cachan Antenne Bretagne, France

• Licence : Thomas Genet, Programmation fonctionnelle, 32h, niveau L3, Université de Rennes 1 / Istic, France

• Master : Thomas Genet, Conception et vérification formelle, 90h, niveau M1, Université de Rennes 1 / Istic, France

• Master : Thomas Genet, Protocoles cryptographiques, 24h, niveau M2, Université de Rennes 1 / Istic, France

• Master : Thomas Jensen, Program analysis, 14h, M2, Rennes

• Master : Thomas Jensen, Software security, 20h, M2, Rennes

• Licence : David Pichardie, Algorithms, 60h, L3, ENS Rennes

• Master : David Pichardie, Mechanised semantics, 15h, M2, Rennes 1, France

• Master : David Pichardie, Program analysis, 6h, M2, Rennes

• Licence : Alan Schmitt, Programmation Fonctionnelle, 37h, niveau L3, Insa Rennes, France

Supervision

• PhD : Pierre-Emmanuel Cornilleau, Certification of static analysis in many-sorted first-order logic, ENS Cachan - antenne de bretagne, 25 march 2013, Thomas Jensen and Frédéric Besson

• PhD in progress : Pierre Wilke, Retro-engineering of auto-modifying code by static analysis, 1st august 2013, Sandrine Blazy and Frédéric Besson

• PhD in progress : Valérie Murat, Automatic Verification of infinite state systems by tree automata completion, 1st august 2011, Thomas Genet

• PhD in progress : Yann Salmon, Reachability for Term Rewriting Systems under Strategies, 1st august 2012, Thomas Genet

• PhD in progress: Andre Oliveira Maroneze, Compilation vérifiée et calcul de temps d'exécution au pire cas, septembre 2010, Sandrine Blazy, David Pichardie and Isabelle Puaut

• PhD in progress: Stéphanie Riaud, Transformations de programmes pertinentes pour la sécurité du logiciel, septembre 2011, Sandrine Blazy

• PhD in progress: Vincent Laporte, Formal verification of static analyses for low level langages, septembre 2012, Sandrine Blazy and David Pichardie

• PhD in progress: David Bühler, Communication between analyses by deductive verification and abstract interpretation, November 2013, Sandrine Blazy and Boris Yakobowski (CEA)

• PhD in progress : Martin Bodin, Certified Analyses of JavaScript, 1st september 2012, Thomas Jensen and Alan Schmitt

• PhD in progress : Oana Andreescu, Proof reusability in the formal modeling of secure operating systems, 1st September 2013, Thomas Jensen and Stephane Lescuyer (Prove & Run)

• PhD in progress : Pauline Bolignano, Formal methods for minimizing a trusted computing base in an operating system, 1st October 2013, Thomas Jensen and Vincent Siles (Prove & Run)

Juries

• Frédéric Besson, jury member for the PhD defense of Mohamed Iguernelala, July 10th 2013

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Cédric Auger, February 2013, University Paris Sud

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Suman Saha, March 2013, University Paris 6

• Sandrine Blazy, jury member (president) for the PhD defense of Benjamin Lesage, May 2013, University Rennes 1

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Xiaomu Shi, July 2013, Grenoble University

• Sandrine Blazy, jury member for the PhD defense of Pierre Néron, October 2013, École Polytechnique

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Jean Fortin, October 2013, University Paris East

• Thomas Jensen, jury member (examiner) for the PhD defense of Andreas lundblad, March 2013, Royal Technological University, Stockholm, Sweden.

• Thomas Jensen, jury member (reviewer) for the PhD defense of Michal Terepeta, October 2013, Technical University, Denmark.

• Thomas Jensen, jury member (president) for the PhD defense of Yassamine Seladji, November 2013, Ecole Polytechnique.

• Thomas Jensen, jury member (reviewer,president) for the PhD defense of Quentin Sabah, December 2013, University of Grenoble.

• David Pichardie, jury member (president) for the PhD defense of Sebastien Chédor, December 2013, University Rennes 1