Joao Marques-Silva
Affiliations. ICREA, University of Lleida, Catalunya, Spain.
I am Research Professor at ICREA, and affiliated with 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) (the team’s publications are available here). 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.