EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

  • Licence : David Cachera, Initiation to Pedagogy and Mediation, 11h, L3, ENS Rennes, France

  • Licence : David Cachera, Algorithmics, 20h, L3, ENS 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 : 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 : Thomas Jensen, Programmation de confiance, 20h, L3, Université Rennes 1, France

  • Licence : David Pichardie, Graph algorithms, 24h, L3, ESIR, France

  • Licence : Alan Schmitt, Programmation Fonctionnelle, 36h, L3, Insa Rennes, France

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

  • Master : Sandrine Blazy, Static analysis, 30h, M1, Université Rennes 1, France

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

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

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

  • Master : David Cachera, Advanced Semantics, 20h, M2, ENS Rennes, France

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

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

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

  • Master : David Pichardie, Preparation of Agregation exam, 70h, M2, ENS Rennes, France

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

Supervision

  • PhD : Yon Fernandez De Retana, Toward verified compilation of Sea of Nodes : semantic properties and reasoning, Université Rennes 1, defended 5 July 2018, Delphine Demange and David Pichardie

  • PhD : Alix Trieu, Verifying constant-time implementations in a verified compilation toolchain, Université Rennes 1, defended 4 December 2018, Sandrine Blazy and David Pichardie

  • PhD: Gurvan Cabon, Analyse non locale certifiée en JavaScript grâce à une sémantique annotée, Université Rennes 1, defended 14 December 2018, Alan Schmitt

  • 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

Juries

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

  • Sandrine Blazy, jury member for the promotion to a senior lecturer position at the University of Kent, May 2018, Canterbury, Great Britain

  • Sandrine Blazy, jury member (reviewer) for the PhD defense of Martin Clochard, March 2018, Paris-Sud University

  • Sandrine Blazy, jury member for the PhD defense of Huisong Li, March 2018, ENS, Paris

  • Sandrine Blazy, jury member for the HDR defense of Aurélie Hurault, July 2018, Université de Toulouse

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

  • Thomas Jensen, president of jury for the PhD defense of Yon Fernandez de Retana, July 2018, University of Rennes 1.

  • Alan Schmitt, jury member (reviewer) for the PhD defense of Guillaume Claret, September 2018, Université Sorbonne Paris Cité

  • Sandrine Blazy, jury member for the PhD defense of Rabab Bouziane, December 2018, Université Rennes 1

  • David Pichardie, jury member (reviewer) for the PhD defense of Jiangchao Liu, February 2018, Paris Sciences et Lettres Research University

  • David Pichardie, jury member (reviewer) for the PhD defense of Thibaut Girka, July 2018, Université Paris-Diderot

  • David Pichardie, jury member (reviewer) for the PhD defense of Jean-Christophe Léchenet, July 2018, Université Paris-Saclay

  • David Pichardie, jury member (reviewer) for the PhD defense of Sigurd Schneider, November 2018, Saarland University, Germany

  • David Pichardie, jury member (reviewer) for the PhD defense of Narjes Jomaa, December 2018, Université de Lille

  • Frédéric Besson, member of hiring committee for a Maître de Conférence position, Spring 2018, ENSIMAG