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.