Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Licence : Alan Schmitt, Programmation Fonctionnelle, 36h, L3, Insa Rennes, France
-
Licence : Delphine Demange, Spécialité Informatique 1 - Algorithmique et Complexité Expérimentale, 36h, L1, Université Rennes 1, France
-
Licence : Delphine Demange, Spécialité Informatique 2 - Functional and Immutable Programming, 70h, L1, Université Rennes 1, France
-
Licence : Delphine Demange, Programmation de Confiance, 36h, L3, Université Rennes 1, France
-
Licence : David Pichardie, Graph algorithms, 24h, L3, ESIR, France
-
Licence : Sandrine Blazy, Functional programming, 30h, L3, Université Rennes 1, France
-
Licence: Thomas Genet, Software Engineering, 58h, L2, Université de Rennes 1, France
-
Licence : Thomas Genet, Spécialité Informatique 1 - Algorithmic and Experimental Complexity, 42h, L1, Université Rennes 1, France
-
Master : Sandrine Blazy, Méthodes Formelles pour le développement de logiciels sûrs, 53h, M1, Université Rennes 1, France
-
Master : Alan Schmitt, Méthodes Formelles pour le développement de logiciels sûrs, 25h, M1, Université Rennes 1, France France
-
Master : Sandrine Blazy, Mechanized Semantics, 15h, M2, Université Rennes 1, France
-
Master : Sandrine Blazy, 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 : David Cachera, Semantics, 24h, M1, Université Rennes 1, France
-
Master : David Cachera, Advanced Semantics, 20h, M2, Université Rennes 1, France
-
Master : Thomas Genet, Formal Design and Verification, 108h, M1, Université de Rennes 1, France.
-
Master : Thomas Jensen, Program Analysis and Software Security, 21h, M2, Université Rennes 1, France
Supervision
-
PhD in progress : Timothée Haudebourg, Lightweight Formal Verification for Functional Programs, 1st october 2017, Thomas Genet and Thomas Jensen
-
PhD in progress : Alexandre Dang, Security by compilation, 1st september 2016, Frédéric Besson and Thomas Jensen
-
PhD in progress : Julien Lepiller, Binary analysis for Isolation, 1st september 2016, Frédéric Besson and Thomas Jensen
-
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 Cédric Berthion (Amossys)
-
PhD in progress : Alix Trieu, Formally verified compilation and static analysis, January 2016, Sandrine Blazy and David Pichardie
-
PhD in progress : Yon Fernandez De Retana, Verified Optimising Compiler for high-level languages, 1st september 2015, Delphine Demange and David Pichardie
-
David Bühler, Structuring an abstract interpreter through value and state abstractions, defended March 2017, Sandrine Blazy and Boris Yakobowski (CEA)
-
Yannick Zakowski, Verification of a Concurrent Garbage Collector, defended December 2017, David Pichardie and David Cachera.
-
Pauline Bolignano, Formal models and verification of memory management in a hypervisor, defended May 2017, Thomas Jensen and Vincent Siles (Prove & Run).
-
Oana Andreescu, Static analysis of functional programs with an application to the frame problem in deductive verification, May 2017, Thomas Jensen and Stéphane Lescuyer (Prove & Run).
Juries
-
Alan Schmitt, jury member for the selection of Inria CR (researcher) candidates, March and April 2017, Inria, Rennes, France.
-
Thomas Jensen, jury member for the selection of Inria CR (researcher) candidates, March and April 2017, Inria, Rennes, France.
-
Sandrine Blazy, jury member for the selection of CNRS CR and DR (researchers) candidates, February and March 2017, CNRS, Paris, France.
-
Sandrine Blazy, jury member for the selection of a professor at University of Copenhagen, May 2017, Copenhagen, Denmark.
-
Sandrine Blazy, jury member (reviewer) for the PhD defense of Romain Aïssat, January 2017, Paris-Sud University
-
Sandrine Blazy, jury member for the PhD defense of Oana Andreescu, May 2017, Université Rennes 1
-
Sandrine Blazy, jury member for the PhD defense of Ninon Eyrolles, June 2017, Université Versailles Saint-Quentin
-
Sandrine Blazy, jury member (reviewer) for the HDR defense of Alain Giorgetti, December 2017, Université de Franche-Comté
-
Sandrine Blazy, jury member for the PhD defense of Jordy Ruiz, December 2017, Université de Toulouse
-
Sandrine Blazy, jury member for the PhD defense of Pierre Lestringant, December 2017, Université Rennes 1.
-
Sandrine Blazy, jury member of the GDR GPL PhD award committee.
-
David Pichardie, external reviewer for the PhD defense of Hendra Gunadi, July 2017, Australian National University, Canberra, Australia.
-
David Pichardie, Licenciate discussion leader for the PhD student Marco Vassena, Chalmers University of Technology, Gothenburg, Sweden.
-
Delphine Demange, jury member of the Gilles Kahn PhD award committee, December 2017, Inria Paris
-
Delphine Demange, jury member for the PhD defense of Pauline Bolignano, May 2017, Université Rennes 1
-
Thomas Genet, jury member (reviewer) for the PhD defense of Vivien Pelletier, October 2017, Université d'Orléans, France.
-
Thomas Jensen, jury member for the HdR defense of Charlotte Truchet, November 2017, Université de Nantes, France.
-
Thomas Jensen, jury member (reviewer) for the PhD defense of Zeineb Zhioua, September 2017, Téleécom ParisTech, France.
-
Thomas Jensen, jury member for the PhD defense of Deepak Subramanian, December 2017, CentraleSupélec, France.