Marques Silva, Joao

Engineering Sciences

Institut d'Investigació en Intel·ligència Artificial (CSIC - IIIA)


Email jpms@icrea.cat

Department Departament d'Enginyeria Informàtica i Disseny Digital

Address Carrer de Jaume II, 69

Postal code 25001

City Lleida

Keywords

  • Explainable AI

  • Interpretability

  • Automated Reasoning

  • Formal Methods

  • Optimization