Section: Dissemination

Teaching - Supervision - Juries

• Licence: Thomas Genet, Software Engineering, 58h, L2, Université de Rennes 1 / Istic, France

• Licence: Delphine Demange, Software Engineering, 40h, L2, Université de Rennes 1 / Istic, France

• Licence: Delphine Demange, Functional Programming, 70h, L1, Université de Rennes 1 / Istic, France

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

• Licence : David Pichardie, Algorithms, 36h, L3, ENS Rennes, France

• Licence : David Cachera, Logic, 36h, L3, ENS Rennes, France

• Licence : Sandrine Blazy, Functional programming, 30h, L3, Université Rennes 1 France

• Master : Thomas Genet, Formal Design and Verification, 108h, M1, Université de Rennes 1 / Istic, France

• Master : Thomas Genet, Cryptographic Protocols, 24h, M2, Université de Rennes 1 / Istic, France

• Master : David Cachera, Semantics of Programming Languages, 36h, M1, Université Rennes 1, France

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

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

• Master : Alan Schmitt, Méthodes Formelles pour le développement de logiciels sûrs, 25h, M1, Rennes 1, France

• Master : David Pichardie, Mechanized Semantics, 15h, M2, Université Rennes 1, France

• Master : Sandrine Blazy, Mechanized Semantics, 15h, M2, Université Rennes 1, France

• Master : Sandrine Blazy, Software vulnerabilities, 38h, M2, Université Rennes 1, France

• Master : Delphine Demange, Software Security, 9h, M2, Université Rennes 1, France

• Master : Thomas Jensen, Program Analysis and Software Security, 39h, M2, Université Rennes 1, France

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

• PhD in progress : Gurvan Cabon, Analyse non locale certifiée en JavaScript grâce à une sémantique annotée, 1st september 2015, Alan Schmitt

• PhD in progress : Yon Fernandez De Retana, Verified Optimising Compiler for high-level languages, 1st september 2015, Delphine Demange and David Pichardie

• PhD in progress : Yannick Zakowski, Programs Logics for Concurrency, 1st september 2014, David Pichardie and David Cachera

• PhD in progress : Florent Saudel, Vulnerability discovery, November 2015, Sandrine Blazy, Frédéric Besson and Frédéric Guihéry (Amossys)

• 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: Pierre Wilke, Low-level memory models for compilers and static analysers, 1st august 2013, Sandrine Blazy and Frédéric Besson

• PhD in progress: Oana Andreescu, Static analysis and automated program proving, 1st September 2013, Thomas Jensen

• PhD in progress: Pauline Bolignano, Modeling and abstraction of system software, 1st November 2013, Thomas Jensen

• PhD: Yann Salmon, Reachability for Term Rewriting Systems under Strategies, defended Dec 2015, Thomas Genet

• PhD: Vincent Laporte, Verified static analyses for low-level languages, defended Nov 2015, Sandrine Blazy and David Pichardie

• PhD: Stéphanie Riaud, Data obfuscation for protecting programs against dynamic analysis, defended Dec 2015, Sandrine Blazy

• Alan Schmitt, jury member (reviewer) for the PhD defense of Burak Ekici, December 2015, Université Grenoble Alpes

• David Pichardie, jury member (chair) for the PhD defense of Mounir Assaf, May 2015, University Rennes 1, France.

• David Pichardie, jury member (reviewer) for the PhD defense of Bogdan Mihaila, January 2015, Technische Universität München, Germany.

• Sandrine Blazy, jury member for the PhD defense of Alexis Fouilhé, October 2015, Grenoble University, France

• Sandrine Blazy, jury member for the PhD defense of Zakaria Chihani, November 2015, Ecole Polytechnique, France.

• Sandrine Blazy, jury member for the PhD defense of Lourdes del Carmen Gonzalez Huesca, November2015, Paris Diderot University, France.

• Thomas Jensen, jury member for the PhD defense of Magnus Madsen, May 2015, Aarhus University, Denmark.

• Thomas Jensen, jury member for the PhD defense of Clémentine Maurice, EURECOM, France.

• Alan Schmitt, jury member for the selection of Inria CR (researcher) candidates, March and April 2015, Inria, Rennes, France.

• Delphine Demange, jury member for the selection of a Maître de Conférences at University Paris Diderot (Paris 7) / LIAFA+PPS, May 2015, Paris, France.

• Sandrine Blazy, jury member for the selection of a Maître de Conférences at University of Nancy, May 2015, Nancy, France.

• Sandrine Blazy, jury member for the selection of a Maître de Conférences at University of Rennes 1, May 2015, Rennes, France.

• Sandrine Blazy, jury member for the selection of a professor at University of Brest, May 2015, Brest, France.

• Delphine Demange, jury member of the Gilles Kahn PhD award committee, December 2015, Inria Paris - Rocquencourt