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:

My research topics are centered around the design and implementation of programming languages, compilers and abstract machines, program analysis and automated verification. I am one of the main contributors to the Ciao system.

Service

  • ICLP 2019 35th International Conference on Logic Programming, September 20-25, Las Cruces, New Mexico, USA (PC)
  • VSTTE 2019 11th Working Conference on Verified Software: Theories, Tools, and Experiments July 13-14, New York City, USA. Co-located with CAV 2019 (PC)
  • ICLP 2018 34th International Conference on Logic Programming July 14​-​17, Oxford, UK
  • ICLP DC 2018 14th ICLP Doctoral Consortium, July 18, Oxford, UK (PC)
  • CP/ICLP/SAT DC 2017 Doctoral Program co-located with CP 2017, ICLP 2017, SAT 2017. August 28, Melbourne, Australia. (PC)
  • CICLOPS 2017, 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems, August 28, Melbourne, Australia. Workshop of ICLP 2017 (chair)
  • 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)