Laval University
Méthodes formelles, sécurité, spécification et vérification de propriétés de sécurité.
Security evaluation methodologies, security evaluation of software, cyber forensics.
Paradigmes de calcul, sémantiques formelle, langages de programmation.