Répertoire du corps professoral

DEEL DEpendable & Explainable Learning
Programme: Subventions de recherche et développement coopérative (RDC)
Organisme(s) subventionnaire(s): CAE Electronics Ltd, Conseil de recherches en sciences naturelles et génie Canada, Consortium de recherche et d'innovation en aérospatiale au Québec, Thales Corporated, Bell Textron Canada limitée, Bombardier Ltée
Type de financement: Subvention
Établissement tête: Université Laval
Du 31 janvier 2020 au30 janvier 2026

Vers la vérification et certification d'algorithmes d'intelligence artificielle
Programme: Subventions à la découverte SD (individuelles et d'équipe)
Organisme(s) subventionnaire(s): Conseil de recherches en sciences naturelles et génie Canada, Secrétariat Inter-Conseils (Canada) (CRSH, CRSNG, IRSC)
Type de financement: Subvention
Établissement tête: Université Laval
Du 1 avril 2019 au31 mars 2025

Alireza Yeganehparast, Maîtrise en informatique - avec mémoire

Sandrine Blais-Deschênes, Maîtrise en informatique - avec mémoire

Sandrine Blais-Deschênes, Doctorat en informatique

Shabnam Tavari, Doctorat en informatique

Youcef Korichi, Doctorat en informatique

Encadrements terminés dans les 5 dernières années

Loïc Ricaud, Maîtrise en informatique - avec mémoire

Simon Bertrand, Maîtrise en informatique - avec mémoire

Souad El Hatib, Maîtrise en informatique - avec mémoire

Publications des 5 dernières années

A cop-winning strategy on strongly cop-win graphs Discrete Mathematics, 2023/08. Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat. DOI 10.1016/j.disc.2023.113419

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning 2021/02/12. DOI https://doi.org/10.1007/978-3-030-68887-5_17

Finite approximation of LMPs for exact verification of reachability properties Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019. DOI 10.1007/978-3-030-30281-8_5

Beyond labels: Permissiveness for dynamic information flow enforcement Proceedings - IEEE Computer Security Foundations Symposium, 2019. Kozyri, E., Schneider, F.B., Bedford, A., Desharnais, J., Tawbi, N.. DOI 10.1109/CSF.2019.00031