Joao Marques-Silva (Preferred)
João Marques-Silva
João P. Marques Silva
Joao Marques-Silva
Full Professor, ICREA
Joined
June 2020
Names
,
,
Emails
****@acm.org (Confirmed)
****@irit.fr (Confirmed)
****@gmail.com (Confirmed)
****@icrea.cat (Confirmed)
****@pm.me (Confirmed)
Personal Links
Career & Education History
Full Professor
ICREA (icrea.cat)
2024 – Present
Senior Researcher (Directeur de Recherche)
IRIT, CNRS (cnrs.fr)
2020 – 2024
Research Chair
ANITI, UFTMP (univ-toulouse.fr)
2019 – 2020
Full Professor
DI, FCUL (ciencias.ulisboa.pt)
2015 – 2019
Full Professor
DEI, IST (tecnico.ulisboa.pt)
2011 – 2015
SFI Stokes Professor of Computer Science and Informatics
CSI, UCD (ucd.ie)
2009 – 2015
Full Professor
ECS, Univ. Southampton (southampton.ac.uk)
2007 – 2009
Advisors, Relations & Conflicts
Coauthor
Nina Narodytska
2018 – Present
Expertise
Explainability
2018 – Present
Interpretability
2017 – Present
Automated Reasoning
1995 – Present
Publications
Co-Authors
- Aditya A. Shrotri
- Aditya Aniruddha Shrotri
- Adnan Darwiche
- Alan Mishchenko
- Alessandro Previti
- Alex Rogers
- Alexander Ivrii
- Alexey Ignatiev
- Ammar Malik
- Ana Graça
- Andreas G. Veneris
- Anthony Ventresque
- Antoine Cornuéjols
- Anton Belov
- António Morgado
- Arash Shaban-Nejad
- Arie Gurfinkel
- Arie Matsliah
- Arlindo L. Oliveira
- Arunesh Sinha
- Ashish Darbari
- Ateet Bhalla
- Aurélie Hurault
- Barry O'Sullivan
- Bernd Fischer