Section: Dissemination
Teaching
Supervision of PhDs and Internships
Patrick Cousot and Antoine Miné supervised the research apprenticeship of Liqian Chen.
Radhia Cousot supervised the PhD thesis of Pietro Ferrara.
Bruno Blanchet supervised the M2 internship [44] of David Cadé (March–July 2009) and is supervising his PhD thesis (September 2009–). Bruno Blanchet is supervising the M2 internship of Miriam Paiola (Università di Padova, September 2009–April 2010) and a research internship of Ben Smyth (PhD student, University of Birmingham, September 2009–February 2010).
Patrick Cousot and Antoine Miné supervised the research apprenticeship of Éric Frichot (first year ENSIMAG student, July 2009).
Patrick Cousot supervised the internship of Jérémy Leconte [61] (MPRI M2, 4 September 2009).
Xavier Rival supervised the M2 internship of Vincent Laviron [60] (March–August 2009).
Graduate Courses
Bruno Blanchet taught 6 hours in the M2 course on Formal methods for concurrency, of Paolo Baldan and Silvia Crafa, Università di Padova, March 2009 [38] .
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) [37] . Julien Bertrane, Patrick Cousot, Jérôme Feret, and Antoine Miné participated in the course [37] .
Jérôme Feret taught 19 hours in course on “Domain Specific Abstract Interpretation” at the ROPAS (Research on Program Analysis System) group graduate students at Seoul National University [52] .
Pietro Ferrara taught 8 hours in the M2 course on Program Analysis and Verification, of Agostino Cortesi, Università di Venezia, March 2009 [57] .
Undergraduate Courses
Julien Bertrane gave practical classes of “Programming Languages and Compilation” [36] at the École Normale Supérieure.
Patrick Cousot gave the M1 course “Foundations of abstract interpretation: application to semantics” [49] at the École Normale Supérieure. He gave introductory course to Abstract Interpretation in the Program and Model Analysis (Graduiertenkolleg Programm- Und Modell-Analyse) course common to the Technische Universität München and the Ludwig-Maximilians-Universität München, Munich, Germany [46] ; the Summer School on Theory and Practice of Language Implementation University of Oregon, Eugene, Oregon, USA, [45] ; the Summer School Marktoberdorf 2009 on Logics and Languages for Reliability and Security, Marktoberdorf, Germany [48] ; and the Software verification course, ETH Zürich, Switzerland [47] .
Laurent Mauborgne taught algorithmics courses for second year students (L3-M1 level) at École polytechnique, in cooperation with Jean-Marc Staeyert. He also gave a Static analysis [64] course for third year students at École polytechnique (35 hours).
Xavier Rival gave training sessions on “Algorithmics and programming in Java” and 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.
