ANITI’s Chair on Deep Learner Explanation and Verification (DeepLEVER) is looking for post-doctoral researchers and PhD students to work on applying automated reasoning in explaining and verifying machine learning (ML) models, but also in learning interpretable models and in ML model fairness. More information is available here.
The publications of ANITI’s DeepLEVER Chair are available here.
I am 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. I am the principal researcher of ANITI’s Chair on Deep Learner Explanation and Verification (DeepLEVER) (the team’s publications are available here). My research interests include automated reasoning, artificial intelligence and machine learning. 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).
Habilitation, 2004
Technical University of Lisbon, PT
PhD, 1995
University of Michigan, Ann Arbor, USA
MSc, 1991
IST/Technical University of Lisbon, PT