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
-
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 : David Pichardie, Mechanised semantics, 15h, M2, Rennes 1, France
-
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