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.
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).
Technical University of Lisbon, PT
University of Michigan, Ann Arbor, USA
IST/Technical University of Lisbon, PT