Marques Silva, Joao

Engineering Sciences

Universitat de Lleida (UdL)


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