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
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.