Marc Frappier

Marc Frappier est professeur titulaire à la Faculté des sciences de l’Université de Sherbrooke et enseigne au Département d’informatique. Il est également membre du Groupe de recherche en informatique fondamentale de l’Université de Sherbrooke. Il s’intéresse au développement de méthodes et d’outils pour la construction de logiciels sûrs et réalise des projets de recherche portant sur les méthodes formelles de spécification (spécification, raffinement, implémentation; génération automatique de code; preuve et model-checking de propriétés), sur la sécurité (contrôle d’accès, test de vulnérabilité, détection d’intrusions et d’anomalies) et sur la gestion du consentement. Il est chercheur principal sur une importante subvention octroyée par Sécurité publique Canada (1 M$, 2020-2024), dans le cadre de son Programme de coopération en matière de cybersécurité, ainsi que d’Énergie et ressources naturelles Canada (376 K$, 2019-2022), dans le cadre de son programme de la cybersécurité et de l’infrastructure énergétique essentielle.

Coordonnées | Page personnelle

Publications