Team abstraction

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination


Supervision of PhDs and Internships

— Patrick Cousot and Antoine Miné supervised the research apprenticeship of Liqian Chen.

— Radhia Cousot supervised the PhD thesis of Matteo Zanioli (co-directed thesis with Agostino Cortesi, University of Venice).

— Radhia Cousot and Jérôme Feret supervised the PhD thesis of Ferdinanda Camporesi (co-directed thesis with Maurizio Gabrielli, University of Bologna).

— Antoine Miné supervised the M2 internship of Mehdi Bouaziz (École Normale Supérieure, March–July 2010) [39] .

— Xavier Rival supervised the Research internship of Suzanne Renard (September 2010–February 2011).

Graduate Courses

— Patrick Cousot and Radhia Cousot were responsible of the M2 course “Abstract interpretation: application to verification and static analysis” at the MPRI (Master Parisien de Recherche en Informatique). Julien Bertrane, Patrick Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival participated in the course.

— Xavier Rival taught the M1 course “INF 563 : Analyse Statique des Programmes” at École Polytechnique. Xavier Rival gave a guest lecture at the University of Colorado at Boulder (Colorado, USA), as part of the Master lecture “CSCI 7135 Program Analysis : Theory and Practice”.

Undergraduate Courses

— Julien Bertrane gave practical classes of “Programming Languages and Compilation” at the École Normale Supérieure.

— Xavier Rival gave training sessions on “Principles of Programming Languages” at the École Polytechnique and a lecture on abstract interpretation and static analysis at the École des Mines de Paris.


Logo Inria