Profil mis à jour

Chercheurs

Marc Frappier

Département d’informatique,

Faculté des sciences

Téléphone : 819 821-8000, poste 62096

Courriel : marc.frappier@uhserbrooke.ca

Site web personnel : https://info.usherbrooke.ca/mfrappier/

Biographie

Formation

M. Sc. Informatique, Université de Sherbrooke (1990)
Ph. D. Informatique, Université d’Ottawa (1996)

Thèmes de recherche

Génie logiciel
Méthodes formelles de spécification et conception
Sécurité informatique

Recherches actuelles

Développement de méthodes et outils pour la construction de logiciels sûrs
Spécification, raffinement, implémentation
Vérification automatisée de propriété
Détection d’intrusion
Génération automatique de tests de vulnérabilité

Publications

Publications de Pr Marc Frappier