Joao Marques-Silva
Affiliations. ICREA & IIIA/CSIC, Bellaterra, Catalunya, Spain.
I am Research Professor at ICREA, having joined ICREA in April 2024. I have been affiliated with IIIA/CSIC since September 2026, and before then I was affiliated with the University of Lleida. Before joining ICREA, I was Research Director (Directeur de Recherche) at CNRS (Centre National de la Recherche Scientifique), affiliated with IRIT (Institut de Recherche en Informatique de Toulouse), Toulouse, France and principal researcher of ANITI’s Chair on Deep Learner Explanation and Verification (DeepLEVER). In addition, and before joining IRIT/CNRS & ANITI, I was affiliated, as Professor of Computer Science, with University College Dublin (IE), the University of Southampton (UK), and the University of Lisbon (PT). I received the PhD from the University of Michigan, Ann Arbor (USA). My research interests include automated reasoning, artificial intelligence and machine learning.