Stages

• Avril-Septembre 2009 : Invariants et raffinement en présence de partage, à l'INRIA Saclay - Île-de-France), sous la direction de Claude Marché et de Sylvain Boulmé
  
  
  • Sujet
  • Rapport
  • Présentation
  
  
• Juin-Août 2008 : Etude des performance d'un carte graphique (Radeon3870), au Laboratoire d'Informatique de Paris 6 (LIP6))

   Exposés

• EJCP 2010 :Ecole Jeunes Chercheurs en Programmation (.PDF)
• FoVeOOS 2010 :Formal Verification of Object Oriend Software (.PDF)