Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence:

  • Mehdi Bouaziz, Concepts Informatique (CI2), 22 ETD, L1, Université Paris-Diderot, Paris, France.

  • Mehdi Bouaziz, Intensive training in algorithmics, 35 ETD, Epita, Le Kremlin-Bicètre, octobre-novembre 2014.

  • Mehdi Bouaziz, Preparation to the International Olympiad in Informatics, 40h ETD, Epita, Le Kremlin-Bicètre, France.

  • Tie Cheng, Introduction to algorithmics, 36h ETD, L3, École Polytechnique, Palaiseau, France.

  • Jérôme Feret, and Caterina Urban, Mathematics, 40h ETD, L1, FDV Bachelor program (Frontiers in Life Sciences (FdV)), Université Paris-Descartes, France.

  • Antoine Miné and Xavier Rival, Semantics and applications to verification, 48h ETD, L3, École Normale Supérieure, Paris, France.

  • Xavier Rival, Introduction to static analysis, 8h, L3, École des Mines de Paris, Paris, France.

  • Xavier Rival, Introduction to algorithmics, 40h ETD, L3, École Polytechnique, Palaiseau, France.

  • Antoine Toubhans, Functional Analysis Class, 34h ETD, L2, Université Pierre et Marie Curie (UPMC), Paris, France.

  • Caterina Urban, Mathematics, 26.5h ETD, Bachelor Program “Frontières du Vivant”, Université Paris Descartes.

  • Thibault Suzanne, Introduction to Programming, 72h ETD, L1, Université Paris Diderot.

• Master:

  • Vincent Danos and Jérôme Feret (with Jean Krivine), Computational Biology, 20h ETD, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Jérôme Feret, Antoine Miné, and Xavier Rival, Abstract Interpretation: application to verification and static analysis, 72h ETD, M2. Parisian Master of Research in Computer Science (MPRI). École normale supérieure. France.

  • Xavier Rival, Introduction to abstract interpretation, 8h, M1-M2, East China Normal University, Shanghai, China.

Supervision

• PhD:

  • Arlen Cox, Parametric heap abstraction for dynamic languages libraries, University of Colorado at Boulder (USA), 17 of November 2014, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot and Jérôme Feret, École Normale Supérieure.

  • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

  • Arlen Cox, Representing dynamic languages heaps using parametric, modular, container abstract domains, 2013, Xavier Rival, École Normale Supérieure, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

  • Tie Cheng, Static analysis of spreadsheet macros, October 2011, Xavier Rival, École Polytechnique.

  • Vincent Laviron, Static Analysis of Functional Programs by Abstract Interpretation, October 2009, Patrick Cousot, École Normale Supérieure.

  • Huisong Li, Static Analysis of Data-Structures with Sharing, November 2014, Xavier Rival, École Normale Supérieure

  • Jiangchao Liu, Verification of the memory safety of a micro-kernel, December 2013, Xavier Rival, École Normale Supérieure

  • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

  • Caterina Urban, Static Analysis of Functional Temporal Properties of Programs by Abstract Interpretation, November 2011, Radhia Cousot and Antoine Miné, École Normale Supérieure.

  • Thibault Suzanne, Thread-modular static analysis of concurrent programs in the presence of weak memory models, October 2014, Antoine Miné, École Normale Supérieure.

Juries

Jérôme Feret was in the jury of the PhD thesis of Arlen Cox (17 of November 2014, University of Colorado, Boulder, USA). Jérôme Feret was reviewer of the PhD thesis of Peter Kreyßig (to be defended, Friedrich Schiller University, Jena, Germany).

Xavier Rival took part to the jury of the Habilitation Thesis of Francesco Zappa-Nardelli (16th of January 2014, ENS Paris) and to the jury of the Habilitation Thesis of Bertrand Jeannet (27 of March 2014, Université Joseph Fourrier, Grenoble).

Antoine Miné is reviewer for the PhD thesis of Vivien Maisonneuve (École des Mines de Paris, February 2015). Antoine Miné was reviewer and in the jury of the PhD thesis of Julien Henry (Université de Grenoble, 13 October 2014).