Jose F. Morales

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)