Joao Marques-Silva

Joao Marques-Silva

Research Director


Recent news

  • 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.

About me

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).


  • Automated Reasoning
  • Constraint Programming
  • Artificial Intelligence
  • Machine Learning
  • Formal Methods


  • Habilitation, 2004

    Technical University of Lisbon, PT

  • PhD, 1995

    University of Michigan, Ann Arbor, USA

  • MSc, 1991

    IST/Technical University of Lisbon, PT