Ph.D. en Informatique, 2013
Aix-Marseille Université (FR)
M.Sc. en Informatique, 2010
Aix-Marseille Université (FR)
Professor at UQAM since 2021, my research interests lie at the intersection of symbolic artificial intelligence and optimization. My work primarily focuses on designing efficient MaxSAT solvers for the inference of optimal machine learning models.