![](https://www.icrea.cat/sites/default/files/styles/reseacher_wp_viewprofile/public/wp/researchers/marques-silva_01.jpg?itok=rSgId8yp)
Marques Silva, Joao P
ICREA Research Professor
Engineering Sciences
Short biography
I am an ICREA Research Professor, Department of Computer Engineering and Digital Design at UdL. Before joining ICREA, I was a Senior Researcher (Directeur de Recherche) at CNRS, France, from 2020 until March 2024. During that time, I was affiliated with IRIT, Toulouse, France, and I was also the Principal Investigator of the Research Chair "DeepLever: Deep Learner Explanation and VERification" of ANITI, a French AI Institute located in Toulouse. Before joining CNRS, I held senior academic positions, as professor of Computer Science, at University College Dublin, Ireland, the University of Southampton, United Kingdom, and the University of Lisbon, Portugal. I obtained a BSc and an MSc degrees in Computer Engineering from the Technical University of Lisbon, Portugal, a PhD degree in Electrical Engineering and Computer Science from the University of Michigan, Ann Arbor, Michigan, USA, and the Habilitation degree in Computer Science from the Technical University of Lisbon, Portugal.
Research interests
My main field of research is Artificial Intelligence (AI). At present, my research focuses on applying methods of formal logic and automated reasoning in computing explanations of complex machine learning (ML) models, i.e. the well-known problem of eXplainable AI (XAI). One key aspect of my work on XAI is the rigor of computed explanations. Over the last few years, my work on XAI revealed key connections between rigorous explanations with several other fields of computer science, including formal logic, automated reasoning, optimization, and game theory, among others. In addition to my work on logic-based XAI, I maintain research interests in developing automated reasoners for solving computationally hard problems, including decision, optimization and function problems.