IMDEA initiative

Home > People

Joaquín Arias

Technical University of Madrid (UPM), Spain

PhD Student

Joaquín Arias
IMDEA Software Institute

Office: 352
Telephone: +34 91-101-2202 ext 4158
Email: Joaquín Arias e-mail

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.