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