Researcher at IMDEA Software Institute.

Member of the CLIP research group.

Twitter GitHub LinkedIn dblp RG ResearchGate

PhD in Computer Science by the Technical University of Madrid (UPM).

Previous Positions: Teaching Assistant at SIC Department of the Complutense University (UCM)

Research Topics of Interest:

  • (Constraint) Logic Programming
    • Compilation and Optimization
    • Abstract Machines
    • Program Analysis
    • Program Transformation

Service

  • ICLP 2016, 32nd International Conference on Logic Programming, October 17-21, New York City, USA (PC)
  • PLDI 2016, 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, June 13-17, Santa Barbara, California, USA (Artifact Evaluation Committee)
  • CC 2016, 25th International Conference on Compiler Construction, March 17-18, Barcelona, Spain (PC)
  • ICLP DC 2015, 11th ICLP Doctoral Consortium, 31 August, Cork, Ireland (PC)
  • ICLP 2014, 30th International Conference on Logic Programming, July 19-22, Vienna, Austria (PC)
  • ICLP DC 2014, 10th ICLP Doctoral Consortium, July 20, Vienna, Austria (PC)
  • WLPE 2013, Workshop on Logic-based methods in Programming Environments, Workshop of ICLP 2013 (Chair)
  • CICLOPS 2013, Colloquium on Implementation of Constraint and LOgic Programming Systems, Workshop of ICLP 2013 (PC)
  • ICLP-DC 2013, ICLP Doctoral Consortium, August 24, Istanbul, Turkey (PC)
  • ICLP 2012, 28th International Conference on Logic Programming (PC)
  • CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems, Workshop of ICLP 2008 (PC)
  • CICLOPS 2004, Colloquium on Implementation of Constraint and LOgic Programming Systems, Workshop of ICLP 2004 (PC and Co-Organizer)