Ph.D. candidate Évasion de systèmes de sécurité logiciels par identification de fragilités et transformations automatiques (advisor Jean Privat).
M.Sc: Correction automatique de travaux binaires: De la découverte de code à la génération de tests, une approche autonome. link, 2019, UQAM, (advisor Jean Privat).