Curriculum Vitae

OVERVIEW

Since 1985 I developed professional activity as an analyst-programmer, project manager, and IT director. I was director of the Computer Center at the University of Castilla-La Mancha (UCLM) during the period 1989-1992. I have more than 28 years of university teaching experience in different positions: from Assistant Professor (10/1991), to Associate Professor (Profesor T.U.) (04/2003, until today). I have taught more than 12 different subjects (including postgraduate teaching), contributing to its implementation in many cases. I have written 4 teaching books, 2 of them being reference manuals in the subjects of Logic and Declarative Programming.

My research experience is centered in the field of programming languages ​​(declarative), the integration of paradigms (logical, functional and fuzzy logic programming), as well as in the automatic transformation of programs. I have to mention: the participation in 13 research projects (6 of which as leader research -IP-); I have written 27 articles in scientific journals (19 of them JCR indexed); participation in 24 national and 37 international conferences (27 CORE); and the 3 contracts of special relevance with companies or organizations.

I have been coordinator of the UCLM node of the ALFA Lernet Project (LER: Language Engineering and Rigorous Software Development – Ref. ALM / 19.0902 / 97 / II-0472-FA), initiative of 10 European and Latin American universities for the training of students of PhD, between 2005 and 2009. I have also been responsible for the coordination of the collaboration agreement maintained, between 2009 and 2013, with the Computer Department of the National University of San Luis (Argentina).

I am a founding member and current co-director (together with Ginés Moreno Valverde) of the Declarative Programming and Automatic Program Transformation Group (DEC-tau) of the University of Castilla-La Mancha.

I have supervised 2 doctoral theses and participated in the program committee of 13 conferences and the organization of one conference. I have recently been appointed Chairman of the Program Committee of the PROLE 2022 Conference.

In addition, I have been a reviewer in more than 17 international conferences (PADL, PEPM, FLOPS, LPAR, ICLP, …) and top-level magazines such as Journal of Theory and Practice of Logic Programming and Fuzzy Sets and Systems or International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. I have also been a reviewer of the ANEP (13 projects reviewed). 

I have obtained the positive evaluation, by the CENAI (the Spanish Reseach Evaluation Agency), for 3 consecutive research periods: [1997-2002], [2003-2008] and [2009-2014].

DEGREES
  • Ph. D. in Computer Science. Department of Information Systems and Computation. Technical University of Valencia. May 2000.
  • Intensification in Computer Science, Faculty of Physics. University of Valencia. June 1985.
  • Master degree in Nuclear Physics. Department of Theoretical Physics. University of Valencia. May 1982.
  • Degree in (Theoretical) Physics, Faculty of Physics. University of Valencia. June 1980.
WORKING EXPERIENCE
  • Associate Professor. School of Computer Science. University of Castilla – La Mancha. [April 2003 – until now]
  • Associate Professor of Technical School. Technical School of Computer Science. University of Castilla – La Mancha. [January 1994 – April 2003]
  • Assistant Professor of Technical School (full time). Technical School of Computer Science. University of Castilla – La Mancha. [October 1992 – January 1994]
  • Assistant Professor of Technical School (level 1). Technical School of Computer Science. University of Castilla – La Mancha. [October 1991 – October 1992]
  • Director. Computer Centre. University of Castilla – La Mancha. [December 1989 – October 1992]
  • Analyst Programmer. Computer Centre. University of Castilla – La Mancha. [February 1987 – December 1989]
  • Programmer. Computer Centre. University of Castilla – La Mancha. [October / 1985 – February 1987]
  • Operator- Programmer. Computer Centre. University of Valencia. [July – August 1985]
REGULAR TEACHING COURSES
  • Foundations of Programming I. 2013/14
  • Advanced Topics in Operating Systems. 2011/12
  • Logic. 1998/until now
  • Programming Methodology: Object Oriented Programming.  1998/1999
  • Declarative Programming. 1997/until now
  • Artificial Intelligence.  1996/1998
  • Operating Systems. 1992/1997
  • Functional Programming. 1991/1992
MAJOR GRANTS AND RESEARCH STAYS
  • RESEARCH GRANT. Spanish Ministry of Economy and Competition (Ministerio de Economía y Competitividad — MINECO). Project MERINET (TIN2016-76843-C4-2-R): Metodos Rigurosos para el Internet del Futuro.  Period: 36 months (30/December/2016 — 29/December/2019).
  • RESEARCH GRANT. Consejería de Educación y Ciencia. Junta de Comunidades de Castilla – La Mancha (Regional Administration Science and Education Agency). Project PROLOF (Ref. PII1I09-0117-4481): Programing with Fuzzy Logic.  Period: 36 months (01/April/2009 — 31/March/2012).
  • RESEARCH GRANT. Spanish Science and Technology Ministry (Ministerio de Ciencia y Tecnología — MCYT). Project SELF (TIN2004-7943-C04-03): Software Engineering and Lightweight Formalisms.  Period: 48 months (13/December/2004 — 12/December/2008).
  • RESEARCH GRANT. University of  Castilla – La Mancha (Vicerrectorado de Investigación, Ayuda a la investigación – Grupos Precompetitivos). Project: Specialization and Automatic Transformation of Advanced Programs (ETAPA — Especialización y Transformación Automática de Programas Avanzados).  Period: 20 months (April, 2001 – December, 2002).
  • VISITING PROFESSOR GRANT. Generalitat Valenciana, Valencian Research Council (DOGV 27/06/02). Department of Information Systems and Computation. Technical University of Valencia. Valencia (Spain). Project: Implementation of Functional Logic Languages by Automatic Program Transformation. Period: 1 month (September, 2002).
  • RESEARCH GRANT. University of  Castilla – La Mancha (Vicerrectorado de Investigación, Ayuda a la investigación – Grupos Precompetitivos). Project: Specialization and Automatic Transformation of Advanced Programs (ETAPA — Especialización y Transformación Automática de Programas Avanzados).  Period: 20 months (April, 2001 – December, 2002).
  • RESEARCH STAY GRANT. Knowledge Society Foundation. Dep. of Computer Science. Portland State University. Portland, Oregon (U.S.A.). Project: Theory and Practice of Functional Logic Programming: Narrowing Strategies. Period: 6 months (May – November 2001).
  • OTHER UNIVERSITY RESEARCH STAY GRANT. Caja Castilla – La Mancha and  University of  Castilla – La Mancha. Department of Information Systems and Computation. Technical University of Valencia. Valencia (Spain). Project: Lazy Evaluation Techniques for Uniform Programs. Period: 2 months (March 20 – May 19, 2000).
  • RESEARCH STAY GRANT HCM (Human Capital and Mobility). Dipartimento di Matematica e Informatica. Universita di Udine. Udine (Italia). Program Transformation Techniques in Functional Logic Languages. Project CONSOLE (Constraint Solving in Europe). Period: 2 months (June & July 1996).
EXPERIENCE AND PARTICIPATION IN RESEARCH PROJECTS
  • SAFER: Análisis y Validación de Software y Recursos Web. Ministerio de Ciencia, Innovación y Universidades — Ref. PID2019-104735RB-C42. FROM: 01/06/2020 UNTIL: 31/05/2024     (IP)
  • MERINET: Métodos Rigurosos para el Internet del Futuro. Fondo Europeo de Desarrollo Regional (FEDER) y Ministerio de Economía y Competitividad (MINECO) — Ref. TIN2016-76843-C4-2-R. FROM: 12/2016 UNTIL: 12/2020     (IP)
  • DAMAS: Una Aproximación Declarativa al Modelado, Análisis y Resolución de Problemas. Ministerio de Economía y Competitividad (MINECO). Ref. TIN2013-45732-C04-2-P.  FROM: 01/2014 UNTIL: 12/2015
  • PROLOF: Programación con Lógica Difusa. Consejería de Educación y Ciencia. Junta de Comunidades de Castilla – La Mancha. Ref.  PII1I09-0117-4481. FROM: 04/2009  UNTIL: 03/2012     (IP)
  • ALDDEIA: Aplicaciones de la Lógica Difusa al Desarrollo de Entornos Informáticos Avanzados. Ministerio de Educación y Ciencia (MEC). Ref.  TIN2007-65749. FROM: 10/2007 UNTIL: 02/2012
  • ALFA Lernet: Language Engineering and Rigorous Software Development. European Comisión EuropeAid, Cooperation Office Latin America Directorate Proyecto ALFA de la Unión Europea; Subprograma B: Co-operation for Scientific and Technical Training (Mobility of Grant-holders). FROM: 3/2005 UNTIL: 3/2008     (IP)
  • SELF (Software Engineering and Lightweight Formalisms). MCYT (Ministerio de Ciencia y Tecnología). Ref. TIN2004-07943-C04-03. FROM: 1/2005 UNTIL: 1/2008     (IP)
  • Debugging Techniques for Declarative Multiparadigm Programs. SEPCT-MCYT (Acciones Integradas Hispano-Alemanas). Ref. HA 2001-0059. FROM: 01/2002 UNTIL: 12/2003
  • HADOS (Herramientas Avanzadas para el DesarrollO del Software). GV (Generalitat Valenciana – Valencian Research Council). Ref. GV01-424. FROM: 10/2001 UNTIL: 10/2003
  • STREAM (herramientas SofTwaRE formales: una Aproximación Multiparadigma). CICYT. Ref. TIC 2001-2705-C03-01. FROM: 10/2001 UNTIL: 10/2004
  • ETAPA (Especialización y Transformación Automática de Programas Avanzados). UCLM Research Grant for Emerging Groups. FROM: 05/2001 UNTIL: 12/2003     (IP)
  • Entorno Multiparadigma de Desarrollo de Programas Reactivos. SEPCT-MCYT (Acciones Integradas Hispano-Italianas). Ref. HI 2000-0161. FROM: 01/2001 UNTIL: 01/2002
  • TREND (Advanced Program Development Techniques in a Declarative Environment). CICYT. Ref. TIC 98-0445-C03. FROM: 09/1998 UNTIL: 09/2001
  • CPD (Combinación de Paradigmas de programación Declarativa). CICYT (Comisión Interministerial de Ciencia y Tecnología) The Spanish Research Funding Agency. Ref. TIC 95-0433-C03-03. FROM: 6/1995 UNTIL: 5/1998.
PROFESSIONAL ACTIVITIES
  • Program Committee member of PROLE’2021 (XX Jornadas sobre Programación y Lenguajes).
  • Program Committee member of UNIF’2020 (34th International Workshop on Unification).
  • Program Committee member of PROLE’2019 (XIX Jornadas sobre Programación y Lenguajes).
  • Program Committee member of the 38th International Conference of the Chilean Computer Science Society, SCCC’2019
  • Program Committee member of the 37th International Conference of the Chilean Computer Science Society, SCCC’2018
  • Program Committee member of PROLE’2018 (XVIII Jornadas sobre Programación y Lenguajes).
  • Program Committee member of the JCC’2017 (36 Jornadas Chilenas de Computación).
  • Program Committee member of the 35th International Conference of the Chilean Computer Science Society, SCCC’2016
  • Program Committee member of PROLE’2016 (XVI Jornadas sobre Programación y Lenguajes).
  • Program Committee member of the 34th International Conference of the Chilean Computer Science Society, SCCC’2015
  • Program Committee member of the JCC’2014 (33 Jornadas Chilenas de Computación).
  • Program Committee member of the CoNaIISI’2014 (2º Congreso Nacional de Ingeniería Informática/Sistemas de Información -Argentina-)
  • Program Committee member of PROLE’2004 (IV Jornadas sobre Programación y Lenguajes).
  • Organization Committee member of the 12th International Workshop on Functional and (Constrain) Logic Programming, WFLP’2003.
  • Program Committee member of PROLE’2001 ( Primeras Jornadas sobre Programación y Lenguajes).

Additionally I have been  a Reviewer of number of conferences (PROLE’2001,  PEPM’2002, PADL’2002, WFLP’2003, PROLE’2004, LPAR’2005, ICLP’2006, CoNaIISI’2014, JCC’2014, SCCC’2015, PROLE’2016, SCCC’2016, JCC’2017, IPMU’2018,  LATA’2018,  PROLE’2018,  SCCC’2018, PROLE’2019, SCCC’2019, FSCD’2020, TbiLLC 2019 Post-proceeedings, UNIF’2020) and research journals (TPLP–2010–, TPLP–2011–, FSS–2015, 3 revisions–, IJUFKS –2014–, SCI –2016–, SCI –2017, 2 revisions–,   FSS–2017–, FSS–2018–, AXIOMS–2019, 2 revisiones–,  INS–2020–).

Institutional responsibilities
  • Responsibility: Manager of the Computer Center at the University of Castilla-La Mancha. Period: 1989-1992.
  • Responsibility: Responsible for Economic Affairs at the Ciudad Real section of the Computer Science Department. Period: 1997.