IMDEA Software

IMDEA initiative

Home > People > Joaquín Arias

Joaquín Arias

The information in this page may be outdated, as Joaquín Arias is currently not a member of the Institute.

Joaquín Arias
MSc - Technical University of Madrid (UPM), Spain
Former PhD Student

Home Page: https://software.imdea.org/~joaquin.arias/
Adviser: Manuel Carro

Research Interests

My research interest focus on logic programming. My recent research activities have centered around the application (e.g. abstract interpretation) and the implementation of tabling and constraint in Prolog.