Marc Frappier
Information quantique
Département d’informatique
Faculté des sciences
Intérêts de recherche
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é