The information in this page may be outdated, as Joaquín Arias is currently not a member of the Institute.
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.
