Candidat au doctorat Évasion de systèmes de sécurité logiciels par identification de fragilités et transformations automatiques (supervisé par 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, (supervisé par Jean Privat).