La información de esta página podría estar desactualizada debido a que Joaquín Arias no es actualmente miembro del Instituto.
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.
