Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

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

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

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

• Licence : Alan Schmitt, Programmation Fonctionnelle, 72h (2 semestres), L3, Insa Rennes, France

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

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

• Master : Sandrine Blazy, Méthodes Formelles pour le développement de logiciels sûrs, 53h, M1, 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 Pichardie, Mechanized Semantics, 15h, M2, Université Rennes 1, France

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

• Master : Sandrine Blazy, Semantics, 24h, M1, Université Rennes 1, France

• Master : David Cachera, Semantics, 24h, M1, Université Rennes 1, France

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

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

• Master : Thomas Jensen, Program analysis and Software Security, 36h, M2, Université Rennes 1, France.

Supervision

• PhD in progress : Alexandre Dang, Compiler for security, Octobre 2016, Thomas Jensen and Frédéric Besson

• PhD in progress : Julien Lepiller, Binary Validation of Software Fault Isolation, Octobre 2016, Thomas Jensen and Frédéric Besson

• 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 : Florent Saudel, Vulnerability discovery, November 2015, Sandrine Blazy, Frédéric Besson and Dimitri Kirchner (Amossys)

• PhD in progress : Alix Trieu, Formally verified compilation and static analysis, January 2016, 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 : Yon Fernandez De Retana, Verified Optimising Compiler for high-level languages, 1st september 2015, David Pichardie and Delphine Demange

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

• PhD in progress : Oana Andreescu, Static analysis of functional specifications, 1st September 2013, Thomas Jensen, Stéphane Lescuyer (Prove & Run)

• PhD in progress: Pauline Bolignano, Modeling and abstraction of system software, 1st November 2013, Thomas Jensen, Vincent Silés (Prove & Run)

• Pierre Wilke, Formally verified compilation of low-level C code, Sandrine Blazy and Frédéric Besson, defended Nov 2016

• Martin Bodin, Certified Analyses of JavaScript, Thomas Jensen and Alan Schmitt, defended Nov 2016

Juries

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Stefania Dumbrava, December 2016, Paris-Sud University, France

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Léon Gondelman, December 2016, Paris-Sud University, France

• Sandrine Blazy, jury member (president) for the PhD defense of Thomas Degueule, December 2016, Rennes 1 University, France

• Sandrine Blazy, jury member (president) for the PhD defense of Arjun Suresh, May 2016, Rennes 1 University, France

• Sandrine Blazy, jury member for the selection of Inria CR (researcher) candidates, March and April 2016, Inria, Saclay, France.

• Sandrine Blazy, jury member for the selection of a professeur at University of Perpignan, May 2016, Perpignan, France.

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

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

• Alan Schmitt, jury member (reviewer) for the PhD defense of Régis Spadotti, May 2016, Université Toulouse III

• Alan Schmitt, jury member (reviewer) for the HDR defense of Nicolas Tabareau, November 2016, Université de Nantes

• Thomas Jensen, jury member (reviewer) for the PhD defense of Denis Martinez, February 2016, Université de Montpellier

• Thomas Jensen, jury member for the PhD defense of Oliver Schwarz, October 2016, KTH, Stockholm, Sweden

• Thomas Jensen, jury member (reviewer) for the PhD defense of Rabah Laouadi, December 2016, Université de Montpellier

• David Pichardie, jury member for the PhD defense of Jacques-Henri Jourdan, May 2016, Université de Paris Diderot