Ph.D. en Informatique, 2013
Aix-Marseille Université (FR)
M.Sc. en Informatique, 2010
Aix-Marseille Université (FR)
Professeur à l’UQAM depuis 2021, mes intérêts de recherche se situent au croisement de l’intelligence artificielle symbolique et de l’optimisation. Mes travaux visent principalement à concevoir des solveurs MaxSAT performants pour l’inférence de modèles d’apprentissage automatique optimaux.