CURRICULUM
VITAE SUMMARY
-
DEGREES
- Degree
in (Theoretical) Physics, Faculty of Physics. University of Valencia.
June 1980.
- Master
degree in Nuclear Physics. Department of Theoretical Physics. University
of Valencia. May 1982.
- Intensification
in Computer Science, Faculty of Physics. University of Valencia. June
1985.
- Ph.
D. in Computer Science. Department of Information Systems and Computation.
Technical University of Valencia. May 2000.
- WORKING
EXPERIENCE
- Operator-
Programmer. Computer Centre. University of Valencia. [July - August 1985]
- Programmer.
Computer Centre. University of Castilla - La Mancha. [October / 1985 -
February 1987]
- Analyst
Programmer. Computer Centre. University of Castilla - La Mancha. [February
1987 - December 1989]
- Director.
Computer Centre. University of Castilla - La Mancha. [December 1989 -
October 1992]
- Assistant
Professor of Technical School (level 1). Technical School of Computer
Science. University of Castilla - La Mancha. [October 1991 - October 1992]
- Assistant
Professor of Technical School (full time). Technical School of Computer
Science. University of Castilla - La Mancha. [October 1992 - January 1994]
- Associate
Professor of Technical School. Technical School of Computer Science. University
of Castilla - La Mancha. [January 1994 - April 2003]
- Associate
Professor. School of Computer Science. University of Castilla - La Mancha.
[April
2003 - until
now]
-
REGULAR
TEACHING COURSES
- Functional
Programming. 1991/1992
- Operating
Systems. 1992/1997
- Artificial
Intelligence. 1996/1998
- Declarative
Programming. 1997/until now
- Programming
Methodology: Object Oriented Programming.
1998/1999
- Logic.
1998/until now
- MAJOR
GRANTS AND RESEARCH STAYS
- 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).
- 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. 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).
- 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
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).
-
EXPERIENCE
AND PARTICIPATION IN RESEARCH PROJECTS
- 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.
- TREND
(Advanced Program Development Techniques in a Declarative Environment).
CICYT. Ref. TIC 98-0445-C03. FROM: 09/1998 UNTIL: 09/2001
- Entorno
Multiparadigma de Desarrollo de Programas Reactivos. SEPCT-MCYT (Acciones
Integradas Hispano-Italianas). Ref. HI 2000-0161. FROM: 01/2001 UNTIL:
01/2002
- ETAPA
(Especialización y Transformación Automática de Programas
Avanzados). UCLM Research Grant for Emerging Groups. FROM: 05/2001 UNTIL:
12/2003
- STREAM
(herramientas SofTwaRE formales: una Aproximación Multiparadigma).
CICYT. Ref. TIC 2001-2705-C03-01. FROM: 10/2001 UNTIL: 10/2004
- HADOS
(Herramientas Avanzadas para el DesarrollO del Software). GV (Generalitat
Valenciana - Valencian Research Council). Ref. GV01-424. FROM: 10/2001
UNTIL: 10/2003
- Debugging Techniques for Declarative Multiparadigm Programs. SEPCT-MCYT
(Acciones Integradas Hispano-Alemanas). Ref. HA 2001-0059. FROM: 01/2002
UNTIL: 12/2003
- SELF (Formalismos ágiles en Ingeniería del Software).
MCYT (Ministerio de Ciencia y Tecnología). Ref. TIN2004-07943-C04-03.
FROM: 1/2005 UNTIL: 1/2008
- 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
-
PROFESSIONAL
ACTIVITIES
-
Program
Committee member of the PROLE'2001 ( Primeras Jornadas sobre Programación
y Lenguajes).
-
Reviewer
of the Fourth International Symposium on Practical Aspects of Declarative
Languages, PADL'02.
-
Reviewer
of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics -
Based Program Manipulation, PEPM'02.
-
Reviewer
of the Sixth International Symposium on Functional and Logic Programming,
FLOPS'02
- Organization
Committee member of the 12th International Workshop on Functional and
(Constrain) Logic Programming, WFLP'2003.
- Reviewer
of the 12th International Workshop on Functional and (Constrain) Logic
Programming, WFLP'2003.
-
Program
Committee member of the PROLE'2004 (IV Jornadas sobre Programación
y Lenguajes).
- Reviewer
of the 12th International Conference
on Logic for Programming Artificial Intelligence and Reasoning, LPAR'2005.
- Reviewer
of the 22nd International Conference on
Logic Programming, ICLP'2006.