IMDEA Software

IMDEA initiative

Home > People

Joaquín Arias

Technical University of Madrid (UPM), Spain

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

Former PhD Student

Joaquín Arias
Home Page: https://software.imdea.org/~joaquin.arias/

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.