Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Master : Yves Bertot, “Proofs and reliable programming using Coq”, 21hours ETD, Sept-Nov 2019, Université Nice Côte d'Azur, France.
-
Doctorat : Benjamin Grégoire, “EasyCrypt and Jasmin”, 14 ETD, summer school on Formal Techniques, Menlo College, California, USA, 18–25 May 2019.
-
Doctorat : Benjamin Grégoire, “Formal verification of masked implementations” Summer school on security of software/Hardware interfaces, 3 ETD, 8–12 July 2019, Inria, France.
-
Doctorat : Yves Bertot “Coq introductory course”, EUTypes summer school, 6 ETD, Ohrid, Aug. 30–Sep. 4, 2019, North Macedonia.
Supervision
-
PhD: Damien Rouhling, Formalization Tools for Classical Analysis – A Case Study in Control Theory, Université Côte d'Azur, September 2019, supervised by Yves Bertot and Cyril Cohen [1].
-
Yves Bertot and Laurence Rideau supervise the doctoral thesis of Sophie Bernard.
-
Yves Bertot and Benjamin Grégoire supervise the doctoral thesis of Cécile Baritel-Ruet.
-
Benjamin Grégoire and Tamara Rezk (Indes) supervise the doctoral thesis of Mohamad El Laz.
Juries
Yves Bertot was a member of the Jury for the Habilitation to direct research of Guillaume Melquiond.
Laurent Théry was a member of the thesis committee for David Braun (University of Strasbourg).
Laurent Théry was an external reviewer for a PhD at ANU (Australia, anonymity rules apply).
Enrico Tassi was a member of the Jury for the PhD defense of Ulysse Gérard (Inria Saclay).
Yves Bertot was a member of the Jury with report duties for the thesis of Florian Faissole (University of Paris-Saclay).
Yves Bertot was a member of the Jury with report duties for the thesis of Armaël Guéneau (University of Paris Diderot).
Yves Bertot was a member of the Jury for the thesis of Gaëtan Gilbert (Institut Mines Télécom Atlantique, Nantes).