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)