Section: Dissemination

Teaching - Supervision - Juries

Teaching

• License : Frédéric Besson, Functional programming, 28h, Insa3, Insa Rennes, France

• Licence : Sandrine Blazy, Programmation de confiance, 81h, L3, Université Rennes 1, France

• Master : Sandrine Blazy, Semantics of Programming Languages, 20h, M1, Université Rennes 1, France

• Master : Sandrine Blazy, Software vulnerabilities, 30h, M2, Université Rennes 1, 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 : Thomas Genet, Spécialité Informatique 1 - Algorithmique et Complexité Expérimentale, 47h, L1, Université Rennes 1, France

• Licence : Thomas Genet, Initiation au génie logiciel, 67h, L2, Université Rennes 1, France

• Licence : Alan Schmitt, Programmation de Confiance, 30h, L3, Université Rennes 1, France

• Licence : David Pichardie, Programmation, 30h, L3, ENS Rennes, France

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

• Master : David Pichardie, Static analysis, 30h, M1, Université Rennes 1, France

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

• Master : Thomas Genet, Enseigner l'informatique au lycée, 15h, M1, Université Rennes 1, France

• Master : Thomas Genet, Analyse et conception formelle, 65h, M1, Université Rennes 1, France

• Master : Benoît Montagu, Analyse et Conception Formelles, 16h, M1, Université Rennes 1, France

• Master : Alan Schmitt, Suivi de Projet, 24h, M1, ENS Rennes, France

• Master : Alan Schmitt, Advanced Semantics, 15h, M2, ENS Rennes, France

• Master : Alan Schmitt, Preparation of Agregation exam, 20, M2, ENS Rennes, France

• License : Thomas Jensen, Logic, 30h, Insa3, Insa Rennes, France

• Master : Thomas Jensen, Software Security , 18h, M2, Université Rennes 1, France

Supervision

• Phd : Alexandre Dang, Compilation for memory protection, Université Rennes 1, 10/12/2019, Thomas Jensen, Frédéric Besson

• Phd : Julien Lepiller, Verifying Software Fault Isolation, Université Rennes 1, 11/12/2019, Thomas Jensen, Frédéric Besson

• PhD in progress : Timothée Haudebourg, Verification of Higher-Order Functional Programs using Tree Automata, September 2017, Thomas Genet and Thomas Jensen

• PhD in progress : Rémi Hutin, A C compiler ensuring security properties, September 2018, Sandrine Blazy and David Pichardie

• PhD in progress : Aurèle Barrière, Formal verification of a JIT compiler, September 2019, Sandrine Blazy and David Pichardie

• PhD in progress : Samy Daoud, Modélisation formelle pour le déploiement et la reconfiguration automatique en ligne dans une infrastructure réseau et IT répartie, November 2018, Alan Schmitt

• PhD in progress : Adam Khayam, Formal Semantics of Multitier Languages, July 2019, Alan Schmitt

• PhD in progress : Guillaume Ambal, Sémantiques Squelettiques pour Calculs de Processus, September 2019, Alan Schmitt

• PhD in progress : Louis Noizet, Compilation Certifiée de Sémantiques Squelettiques, October 2019, Alan Schmitt

• Master 2 internship : Aurèle Barrière, Formal verification of a JIT compiler, February of June 2019, Sandrine Blazy and David Pichardie

• Master 1 internship : Guillaume Barbier, Maxime Bridoux, Jean Jouve, Clément Legrand-Duchesne, Skeletal Semantics for WebAssembly, September 2018 to May 2019 Alan Schmitt

• ENS 4th year internship : Nathanaël Courant, CFA Generation from a Skeletal Semantics, September 2019 to July 2019, Thomas Jensen and Alan Schmitt

• ENS 4th year internship : Vincent Rebiscoul, Certified CFA Generation, September 2019 to February 2020, Thomas Jensen and Alan Schmitt

• ENS 3th year internship : Justine Sauvage, Modèles formels pour la blockchain, May 2019 to July 2019, Thomas Genet and Thomas Jensen

Juries

• Sandrine Blazy, jury member for the selection of CNRS CR and DR (researchers) candidates, February and March 2019, CNRS, Paris, France.

• Sandrine Blazy, jury member (president) for the PhD defense of Simon Lunel, January 2019, Université Rennes 1

• Sandrine Blazy, jury member for the PhD defense of Joseph Lallemand, November 2019, Lorraine University, Nancy

• Sandrine Blazy, jury member for the HDR defense of Yann Régis-Gianas, November 2019, Paris University

• Sandrine Blazy, jury member (reviewer) for the PhD defense of Mathieu Journault, November 2019, Paris Sorbonne University

• Sandrine Blazy, jury member (president) for the PhD defense of Arif Ali Anapparakkal, December 2019, Université Rennes 1

• Sandrine Blazy, jury member (president) for the PhD defense of Julien Lepiller, December 2019, Université Rennes 1

• Sandrine Blazy, jury member of the GDR GPL PhD award committee

• Sandrine Blazy, member of hiring committee for a professor position, Spring 2019, UBO, Brest

• Thomas Genet, jury member (reviewer) for the PhD defense of Lily Gallois, December 2019, Université de Lille

• Alan Schmitt, president of jury for the PhD defense of Florian Dold, February 2019, Université Rennes 1

• Alan Schmitt, jury member (examiner) for the PhD defense of Julien Lopez, September 2019, Université Paris-Saclay

• Alan Schmitt, jury member (reviewer) for the PhD defense of Steven Varoumas, November 2019, Sorbonne Université

• Delphine Demange, jury member (examiner) for the PhD defense of Oscar Luis Vera Pérez, December 2019, Université Rennes 1

• Delphine Demange, member of hiring committee for a Maître de Conférence position, Spring 2019, Lyon 1 / LIP.