Je suis professeur titulaire au département d'informatique de l'université Laval. Ma maîtrise aussi bien que mon Ph. D. étaient accomplis à L'université Laval et portaient sur la sécurité informatique. Je détiens également un diplôme d'ingénieur principal en informatique. Mes activités de recherche portent sur la sécurité informatique et les méthodes formelles.