Marc Frappier
Professeur titulaire
Coordonnées
Courriel : Marc.Frappier@USherbrooke.ca
Téléphone : 819 821-8000, poste 62096
Télécopieur : 819 821-8200
Local : D4-1010-8
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