projects
seminar
hobbies
Teaching
Past lectures
- Second Cycle:
- Lectures (2 hours) in the Chair of Programming Methodology - ETH Zürich
- 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.
- 2009-2013: 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-2013 : 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".