Jacopo Mauro Associate Professor Phone: +45 65 50 25 72 Email: mauro@imada.sdu.dk Webpage: Keywords: Explainable AI (XAI), optimization, automated reasoning, algorithm selection.