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
-
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