Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence:

  • Jérôme Feret, and Cezara Drăgoi, Mathematics, 40h, 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.

• Master:

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

  • Cezara Drăgoi, 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, KAIST, Daejeon, Korea.

  • Xavier Rival, Experimental Course on “Program Verification”, 20h ETD, M1, École Polytechnique, Palaiseau, France.

  • Xavier Rival, Protocol safety and verification 20h ETD, M2 program in Avanced Communications and Network (École Polytechnique and Telecom Paris), France.

  • Jérôme Feret has been invited to give a session (2h) in the Master M2IF (ÉNS Lyon) in the context of Russ Harmer's course on Rule-based modelling.

Supervision

• PhD:

  • Arlen Cox, Parametric heap abstraction for dynamic languages libraries, École Normale Supérieure, 13th of April 2015, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (Inria / École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

  • Caterina Urban, Static analysis by abstract interpretation of functional temporal properties of programs, École Normale Supérieure, 29th of July 2015, supervised by Antoine Miné (CNRS / École Normale Supérieure) and Radhia Cousot (CNRS / École Normale Supérieure).

  • Tie Cheng, Static analysis of spreadsheet applications, École Normale Supérieure, 23rd of September 2015, supervised by Xavier Rival (Inria / École Normale Supérieure).

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

  • Hugo Illous, Verification of memory properties by abstract interpretation, October 2015, Xavier Rival (co-directed thesis with Mathieu Lemerre, CEA Saclay).

  • 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

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

  • Guillaume Terradot, “Modeles de croissance bacterienne/determinants de la taille", started in 2015, Vincent Danos, École Normale Supérieure.

  • William Waites, “Strategie evolutionnaire dans des tissus avec interactions mecaniques" started in 2015, Vincent Danos, École Normale Supérieure.

  • Andreea Beica, “Approximations max-paralleles de modeles stochastiques", started in 2015, Vincent Danos, École Normale Supérieure.

• Internships:

  • Eleonore Bellot did an internship at ENS with Vincent Danos on “Modeles energetiques de la cellule".

  • Xavier Zaoui did an internship at ENS with Vincent Danos on “Croissance bacterienne et interferences entre antibiotiques".

  • Danae David did an internship at ENS with Vincent Danos on "Representation des connaissances en biochimie des voies de signalisation".

  • Ihab Boulas did an internship at ENS with Vincent Danos on “Modeles de transmission de plasmides "editeurs".

Juries

Jérôme Feret was reviewer of the PhD thesis of Peter Kreyßig (Friedrich-Schiller-Universität Jena, Germany, March 2015).

Jérôme Feret was examiner of the PhD thesis of Mounir Assaf (Irisa, France, May 2015).

Vincent Danos was referee on the phd thesis of Erwan Bigan, Universite Paris-Diderot, and referee on the phd thesis of Vincent Picard, Universite de Rennes 2.

Selection committees

Jérôme Feret was a member of the recruiting jury for junior research scientists (CR2) at Inria Paris-Rocquencourt in 2015; Jérôme Feret is a member of the recruitment committee for an assistant professor in Paris-Diderot University 2016.