Organisation des enseignements / Teaching organisation

• École Normale Supérieure, Département d'Informatique, « Spécialité ‹ Informatique › » du « Diplôme de l'École Normale Supérieure » (ci-devant/formerly M.M.F.A.I., filière informatique  )
  • Présentation des enseignements d'informatique en L3 aux élèves de première année du 26 septembre 2006  
  • Présentation de la filière mathématique-informatique aux élèves de première année du 27 septembre 2006  
• M.P.R.I. (ci-devant/formerly D.E.A. Sémantique, Preuves et Programmation)   :
  • M1: Cours Fondements de l'interprétation abstraite   / Course Foundations of abstract interpretation  
  • M2: Cours Interprétation abstraite : application à la vérification et à l'analyse statique   / Abstract interpretation: application to verification and static analysis  
• Écoles doctorales :
  • École Doctorale de Sciences Mathématiques de Paris Centre
  • École polytechnique
  • EDIMO
  • EDITE