Joaquín Arias

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

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.