Marques Silva, Joao
Engineering Sciences
Universitat de Lleida (UdL)
Email jpms@icrea.cat
Department Dept. Producció Vegetal i Ciència Forestal
Keywords
Explainable AI
Interpretability
Automated Reasoning
Formal Methods
Optimization
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.