{"id":51,"date":"2017-06-21T00:59:06","date_gmt":"2017-06-21T00:59:06","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=51"},"modified":"2024-09-15T12:10:19","modified_gmt":"2024-09-15T12:10:19","slug":"curriculum-vitae","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/curriculum-vitae\/","title":{"rendered":"Curriculum Vitae"},"content":{"rendered":"
OVERVIEW<\/span><\/h5>\n

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 full Professor (Profesor C.U.) (02\/2024, 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.<\/p>\n

My research experience is centered in the field of programming languages \u200b\u200b(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 18 research projects (7 of which as leader research -IP-); I have written 34 articles in scientific journals (25 of them JCR indexed); participation in 28 national and 41 international conferences (32 CORE); and 3 contracts of special relevance with companies or organizations.<\/p>\n

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).<\/p>\n

I am a founding member and current co-director (together with Gin\u00e9s Moreno Valverde) of the Declarative Programming and Automatic Program Transformation Group (DEC-tau) of the University of Castilla-La Mancha.<\/p>\n

I have supervised 3 doctoral theses and participated in the program committee of 16 conferences and the organization of 3 conference.\u00a0I have been Chairman of the Program Committee of the PROLE 2022 Conference. <\/span><\/p>\n

In addition, I have been a reviewer in more than 19 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).\u00a0<\/span><\/p>\n

I have obtained the positive evaluation, by the CENAI (the Spanish Reseach Evaluation Agency), for 4 consecutive research periods: [1997-2002], [2003-2008], [2009-2014] and [2015-2020].<\/p>\n

DEGREES<\/strong><\/span><\/h5>\n
    \n
  • Ph. D. in Computer Science. Department of Information Systems and Computation. Technical University of Valencia. May 2000.<\/li>\n
  • Intensification in Computer Science, Faculty of Physics. University of Valencia. June 1985.<\/li>\n
  • Master degree in Nuclear Physics. Department of Theoretical Physics. University of Valencia. May 1982.<\/li>\n
  • Degree in (Theoretical) Physics, Faculty of Physics. University of Valencia. June 1980.<\/li>\n<\/ul>\n
    WORKING EXPERIENCE<\/strong><\/span><\/h5>\n
      \n
    • Full Professor. School of Computer Science. University of Castilla – La Mancha. [February \u00a02024 – until now]<\/li>\n
    • Associate Professor. School of Computer Science. University of Castilla – La Mancha. [April 2003 – February \u00a02024]<\/li>\n
    • Associate Professor of Technical School. Technical School of Computer Science. University of Castilla – La Mancha. [January 1994 – April 2003]<\/li>\n
    • Assistant Professor of Technical School (full time). Technical School of Computer Science. University of Castilla – La Mancha. [October 1992 – January 1994]<\/li>\n
    • Assistant Professor of Technical School (level 1). Technical School of Computer Science. University of Castilla – La Mancha. [October 1991 – October 1992]<\/li>\n
    • Director. Computer Centre. University of Castilla – La Mancha. [December 1989 – October 1992]<\/li>\n
    • Analyst Programmer. Computer Centre. University of Castilla – La Mancha. [February 1987 – December 1989]<\/li>\n
    • Programmer. Computer Centre. University of Castilla – La Mancha. [October \/ 1985 – February 1987]<\/li>\n
    • Operator- Programmer. Computer Centre. University of Valencia. [July – August 1985]<\/li>\n<\/ul>\n
      REGULAR TEACHING COURSES<\/strong><\/span><\/h5>\n
        \n
      • Foundations of Programming I.\u00a02013\/14<\/li>\n
      • Advanced Topics in Operating Systems.\u00a02011\/12<\/li>\n
      • Logic. 1998\/until now<\/li>\n
      • Programming Methodology: Object Oriented Programming.\u00a0 1998\/1999<\/li>\n
      • Declarative Programming. 1997\/until now<\/li>\n
      • Artificial Intelligence.\u00a0 1996\/1998<\/li>\n
      • Operating Systems. 1992\/1997<\/li>\n
      • Functional Programming. 1991\/1992<\/li>\n<\/ul>\n
        MAJOR GRANTS AND RESEARCH STAYS<\/strong><\/span><\/h5>\n
          \n
        • RESEARCH GRANT. Spanish Ministry of Economy and Competition (Ministerio de Econom\u00eda y Competitividad — MINECO). Project MERINET (TIN2016-76843-C4-2-R): Metodos Rigurosos para el Internet del Futuro.\u00a0 Period: 36 months (30\/December\/2016 — 29\/December\/2019).<\/li>\n
        • RESEARCH GRANT. Consejer\u00eda de Educaci\u00f3n y Ciencia. Junta de Comunidades de Castilla \u2013 La Mancha (Regional Administration Science and Education Agency). Project PROLOF (Ref. PII1I09-0117-4481):\u00a0Programing with Fuzzy Logic.\u00a0 Period: 36 months (01\/April\/2009 — 31\/March\/2012).<\/li>\n
        • RESEARCH GRANT. Spanish Science and Technology Ministry (Ministerio de Ciencia y Tecnolog\u00eda — MCYT). Project SELF (TIN2004-7943-C04-03): Software Engineering and Lightweight Formalisms.\u00a0 Period: 48 months (13\/December\/2004 — 12\/December\/2008).<\/li>\n
        • RESEARCH GRANT. University of\u00a0 Castilla – La Mancha (Vicerrectorado de Investigaci\u00f3n, Ayuda a la investigaci\u00f3n – Grupos Precompetitivos). Project: Specialization and Automatic Transformation of Advanced Programs (ETAPA — E<\/strong>specializaci\u00f3n y T<\/strong>ransformaci\u00f3n A<\/strong>utom\u00e1tica de P<\/strong>rogramas A<\/strong>vanzados).\u00a0 Period: 20 months (April, 2001 – December, 2002).<\/li>\n
        • 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).<\/li>\n
        • RESEARCH GRANT. University of\u00a0 Castilla – La Mancha (Vicerrectorado de Investigaci\u00f3n, Ayuda a la investigaci\u00f3n – Grupos Precompetitivos). Project: Specialization and Automatic Transformation of Advanced Programs (ETAPA — E<\/strong>specializaci\u00f3n y T<\/strong>ransformaci\u00f3n A<\/strong>utom\u00e1tica de P<\/strong>rogramas A<\/strong>vanzados).\u00a0 Period: 20 months (April, 2001 – December, 2002).<\/li>\n
        • 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).<\/li>\n
        • OTHER UNIVERSITY RESEARCH STAY GRANT. Caja Castilla – La Mancha and\u00a0 University of\u00a0 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).<\/li>\n
        • 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).<\/li>\n<\/ul>\n
          EXPERIENCE AND PARTICIPATION IN (SELECTED) RESEARCH PROJECTS<\/strong><\/span><\/h5>\n
            \n
          • SAFER<\/strong>: An\u00e1lisis y Validaci\u00f3n de Software y Recursos Web. Ministerio de Ciencia, Innovaci\u00f3n y Universidades\u00a0\u2014 Ref. PID2019-104735RB-C42. FROM: 01\/06\/2020<\/span> UNTIL: 31\/05\/2024 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • MERINET<\/strong>: M\u00e9todos Rigurosos para el Internet del Futuro. Fondo Europeo de Desarrollo Regional (FEDER) y Ministerio de Econom\u00eda y Competitividad (MINECO) \u2014 Ref. TIN2016-76843-C4-2-R. FROM: 12\/2016 UNTIL: 12\/2020 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • DAMAS<\/strong>: Una Aproximaci\u00f3n Declarativa al Modelado, An\u00e1lisis y Resoluci\u00f3n de Problemas. Ministerio de Econom\u00eda y Competitividad\u00a0(MINECO). Ref. TIN2013-45732-C04-2-P. \u00a0FROM: 01\/2014 UNTIL: 12\/2015<\/li>\n
          • PROLOF<\/strong>: Programaci\u00f3n con L\u00f3gica Difusa. Consejer\u00eda de Educaci\u00f3n y Ciencia. Junta de Comunidades de Castilla \u2013 La Mancha. Ref. \u00a0PII1I09-0117-4481. FROM: 04\/2009 \u00a0UNTIL: 03\/2012 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • ALDDEIA<\/strong>: Aplicaciones de la L\u00f3gica Difusa al Desarrollo de Entornos Inform\u00e1ticos Avanzados. Ministerio de Educaci\u00f3n y Ciencia (MEC). Ref. \u00a0TIN2007-65749. FROM: 10\/2007 UNTIL: 02\/2012<\/li>\n
          • ALFA Lernet<\/strong>: Language Engineering and Rigorous Software Development. European Comisi\u00f3n EuropeAid, Cooperation Office Latin America Directorate Proyecto ALFA de la Uni\u00f3n Europea; Subprograma B: Co-operation for Scientific and Technical Training (Mobility of Grant-holders). FROM: 3\/2005 UNTIL: 3\/2008 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • SELF<\/strong> (Software Engineering and Lightweight Formalisms). MCYT (Ministerio de Ciencia y Tecnolog\u00eda). Ref. TIN2004-07943-C04-03. FROM: 1\/2005 UNTIL: 1\/2008 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • Debugging Techniques for Declarative Multiparadigm Programs. SEPCT-MCYT (Acciones Integradas Hispano-Alemanas). Ref. HA 2001-0059. FROM: 01\/2002 UNTIL: 12\/2003<\/li>\n
          • HADOS<\/strong> (Herramientas Avanzadas para el DesarrollO del Software). GV (Generalitat Valenciana – Valencian Research Council). Ref. GV01-424. FROM: 10\/2001 UNTIL: 10\/2003<\/li>\n
          • STREAM<\/strong> (herramientas SofTwaRE formales: una Aproximaci\u00f3n Multiparadigma). CICYT. Ref. TIC 2001-2705-C03-01. FROM: 10\/2001 UNTIL: 10\/2004<\/li>\n
          • ETAPA<\/strong> (Especializaci\u00f3n y Transformaci\u00f3n Autom\u00e1tica de Programas Avanzados). UCLM Research Grant for Emerging Groups. FROM: 05\/2001 UNTIL: 12\/2003 \u00a0 \u00a0 (IP<\/strong>)<\/span><\/li>\n
          • Entorno Multiparadigma de Desarrollo de Programas Reactivos. SEPCT-MCYT (Acciones Integradas Hispano-Italianas). Ref. HI 2000-0161. FROM: 01\/2001 UNTIL: 01\/2002<\/li>\n
          • TREND<\/strong> (Advanced Program Development Techniques in a Declarative Environment). CICYT. Ref. TIC 98-0445-C03. FROM: 09\/1998 UNTIL: 09\/2001<\/li>\n
          • CPD<\/strong> (Combinaci\u00f3n de Paradigmas de programaci\u00f3n Declarativa). CICYT (Comisi\u00f3n Interministerial de Ciencia y Tecnolog\u00eda) The Spanish Research Funding Agency. Ref. TIC 95-0433-C03-03. FROM: 6\/1995 UNTIL: 5\/1998.<\/li>\n<\/ul>\n
            PROFESSIONAL ACTIVITIES<\/strong><\/span><\/h5>\n