Sécurité informatique, Sécurité des programmes, Méthodes formelles.
-2011 Ph.D. – Informatique (Université Laval)
-2005 M.Sc. - Informatique (Université Laval)
-2003 B.Sc. - Informatique (Université Laval)
Introduction à la cybersécurité (CYB1003)
Structures discrètes (MAT1153)
Structures des informations I (INF4063)
Professional Engineer (P.Eng.), Ordre professionnel des ingénieurs de l'Ontario (PEO).
Membre Sénior de la Institute of Electrical and Electronics Engineers (IEEE).