Technical University of Madrid (UPM), Spain
IMDEA Software Institute
Telephone: +34 91-101-2202 ext 4158
Adviser: Manuel Carro
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.