IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Joaquín Arias

Joaquín Arias

La información de esta página podría estar desactualizada debido a que Joaquín Arias no es actualmente miembro del Instituto.

Joaquín Arias
MSc - Universidad Politécnica de Madrid, España
Antiguo PhD Student

Página web: https://software.imdea.org/~joaquin.arias/
Tutor: Manuel Carro

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.