Teaching

Past lectures

• Second Cycle:
• Winter school on Rule-based modelling.
  From 2011 Feb the 14th to Feb. the 18th - ENS Lyon.
  (Vincent Danos - Jérôme Feret - Jean Krivine)
• Some courses (19 hours) on Abstract Interpretation and its applications.
  From 2011 Apr the 18th to Apr. the 23rd - University of Bologna, Italy.
  (Jérôme Feret)
• 2009-2012: Lectures and practical works in the Interdisciplinary Approaches to Life Science (AIV) Master Program / Frontier in Life Sciences (FDV) PhD program,
  course of Computational Biology 1&2
• 2004-2012 : Lectures in the MPRI: course of Abstract Interpretation of Patrick Cousot. (slides and links)
• 2008-2009: Lectures for ROPAS(Research on Program Analysis System) group graduate students at Seoul National University,
  special workshop on Domain-Specific Abstract Interpretation, Jan 2009 (15 h)
  More information are available here
• 2007-2008 : Lectures in the Parisian Master of Research in Computer Science (MPRI): course of Formal Bioinformatic of Vincent Danos, François Fage et Vincent Schächter (slides)
• 2006-2007 : Pracical works in the MPRI: course of Formal Bioinformatic of Vincent Danos, François Fage et Vincent Schächter
• 2005-2006 : Lectures in "Corso di Laurea specialistica in Informaticathe", Analisi e verifica automatica di sistemi di Roberto Giacobazzi. (slides and links)
• 2000-2004 : Participation in the DEA Programming: Semantics, Proof and Languages, static abstract interpretation-based analysis course of Radhia Cousot (slides and other informations),
• First Cycle:
• 2005-2007 : Practical works in Computer sciences in MP* class of the "lycée Louis Le Grand".
• 2001-2004 : Practival works in computer sciences in second year of GEA class of the "université Paris-Dauphine".
• 1998-2001 : Practical works in computer sciences in MP* class of the "lycée Marcelin Berthelot".
• 1997-1998 : Oral integator in mathematics in PCSI class of the "lycée Marcelin Berthelot".