Formation

• 1998
  Maîtrise de mathématique, Université de Paris VII
• 1999
  D.E.A. Logique et fondement de l’informatique, Université de Paris VII
  Sujet du mémoire : Preuve de raffinement automatique dans la méthode B
  Directeur : Paul Rozière
  Superviseur à Matra : Jean-Marc Meynadier
• 2006
  Ph. D. Informatique en génie logiciel et méthode formelle, Université de Sherbrooke
  Sujet de la thèse : Intreprétation efficace d’expressions de processus EB³
  Directeur : Marc Frappier

Cours de l’année 2008/2009

• Automne 2008
  1. IFT099 — Introduction à la programmation
  2. IFT752 — Technique de vérification et validation
• Été 2009
  1. IFT359 — Programmation fonctionnelle
  2. IGL301 — Analyse des besoins
• Septembre 2009
  1. IGL501 — Méthode formelle de spécification
• Été 2010
  1. IGL301 — Analyse des besoins