Ph.D. en Informatique, 2006
Université de Montpellier 2 (FR)
M.Sc. en Informatique, 2002
Université de Montpellier 2 (FR)
Professeur à l’UQAM depuis 2007.
Mes principaux intérêts de recherche portent sur les langages de programmation, l’analyse de programmes, les compilateurs, les machines virtuelles, les systèmes d’exploitation et les sujets connexes. Depuis 2016, j’ai acquis un intérêt pour la sécurité informatique appliquée, notamment autour des vulnérabilités logicielles et de leur exploitation.
Amélioration de l’identification de vulnérabilités logicielles causées par une divergence d’interprétation
Channels pour Pharo
Identité numérique nationale et protection de la vie privée : une application du modèle EFVP
Cybersécurité logicielle dans les micrologiciels
Exploitation automatique de vulnérabilités FILE* en C
Langage pour optimisateurs linéaires
Implémentation des multi-méthodes en Nit
Détection de comportements insidieux dans les jeux gratuits Android destinés aux enfants
Évasion de systèmes de sécurité logiciels par identification de fragilités et transformations automatiques