Section: Dissemination

Teaching - Supervision - Juries

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

• 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

• 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