Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  • Jérôme Feret, Mathematics, 40h ETD, L1, Licence Frontiers in Life Sciences (FdV), Université Paris-Descartes, France.

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

  • Xavier Rival, Introduction to software verification, 12h ETD, L3, École Nationale Supérieure des Mines, Paris, France.

• Master :

  • Computational Biology, 9h ETD, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Patrick Cousot, Radhia Cousot, 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, 20h ETD, M1, École Polytechnique, Palaiseau, France.

Supervision

PhD & HdR :

• PhD: Mattéo Zanioli, Security Analysis by Abstract Interpretation [8] , March 2012, Radhia Cousot (co-directed thesis with Agostino Cortesi, University of Venice), Paris VII / Università Ca' Foscari, March 12, 2012.

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot, É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).

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

  • 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, École Normale Supérieure.

Juries

— Jérôme Feret reviewed the PhD thesis of Vincent Noël (Université Rennes 1, France, December 20, 2012).

— Xavier Rival reviewed the PhD theses of Arnaud Jobin (IRISA, Rennes, France, January 16, 2012), of Marie Pelleau (LINA, Nantes, France, November 29, 2012) and of Arnault Ioualalen (DALI /UPVD, Perpignan, France, December 17, 2012).