Experiència en recerca / Experiencia en investigación / Research experience

Transcripción

1 CURRICULUM VITAE ACADÈMIC / ACADÉMICO / ACADEMIC Dades professionals / Datos profesionales / Professional information Categoria acadèmica / Categoría académica / Academic post CATEDRÁTICA DE UNIVERSIDAD Responsabilitat acadèmica actual / Responsabilidad académica actual / Current academic responsibility No / No / No Sí / Sí / Yes Especificar / Especificar / Specify Institució / Institución / Institution UNIVERSIDAD POLITÉCNICA DE VALENCIA Centre / Centro / Centre ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA Departament / Departamento / Department SISTEMAS INFORMÁTICOS Y COMPUTACIÓN Àmbits de coneixement / Ámbitos de conocimiento / Fields of knowledge CONACIT Humanitats / Humanidades / Humanities Ciències Socials / Ciencias Sociales / Social Sciences Ciències / Ciencias / Sciences Ciències de la Vida / Ciencias de la Vida / Life Sciences Ciències Mèdiques i de la Salut / Ciencias Médicas y de la Salud / Health and Medical Sciences Enginyeria i Arquitectura / Ingeniería y Arquitectura / Engineering and Architecture Especialització (codis UNESCO) / Especialización (códigos UNESCO) / Specialization (UNESCO codes) / / / Idiomes / Idiomas / Language skills Valorar d 1 (nocions) a 5 (excel lent) / Valorar de 1 (nociones) a 5 (excelente) / Grade from 1 (notions) to 5 (excellent) Llegit / Leído / Read Parlat / Hablado / Spoken Escrit / Escrito / Written Català / Catalán / Catalan Castellà / Castellano / Spanish Anglès / Inglés / English Francès / Francés / French D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 1/6

2 Italiano Experiència en recerca / Experiencia en investigación / Research experience Màxim 5 línies. Dades dels últims 10 anys (paraules clau de línies de recerca) / Máximo 5 líneas. Datos de los últimos 10 años (palabras clave de líneas de investigación) / Maximum 5 lines. Data of the last 10 years (key words of the research lines) Lenguajes de Programación y Tecnología Software Multiparadigma, Ejecución simbólica, Semántica de programas, Ingeniería del Software Automática, Métodos Formales Industriales, Análisis, depuración, verificación, síntesis, transformación, certificación, composición y optimización de software complejo, distribuido y reactivo. Nombre de sexennis avaluats positivament / Número de sexenios evaluados positivamente / Number of six-year periods of research positively assessed 4 Si es considera pertinent, indicar les 5 publicacions més rellevants / Si se considera pertinente, indicar las 5 publicaciones más relevantes / Whether it s considered, provide the 5 most important published works María Alpuente, Santiago Escobar, Javier Espert, José Meseguer: A modular order-sorted equational generalization algorithm. Information and Computation 235: (2014) María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero: Rewriting-based repairing strategies for XML repositories. J. Log. Algebr. Program. 82(8): (2013) María Alpuente, Santiago Escobar, José Iborra: Modular termination of basic narrowing and equational unification. Logic Journal of the IGPL 19(6): (2011) María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. Theory and Practice of Logic Programming 5(3): (2005) María Alpuente, Moreno Falaschi, Germán Vidal: Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): (1998) D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 2/6

3 Experiència en docència / Experiencia en docencia / Teaching experience Màxim 10 línies. Dades dels últims 5 anys, indicant titulacions i nivell (grau, màster, doctorat) / Máximo 10 líneas. Datos de los últimos 5 años, indicando titulaciones y nivel (grado, máster, doctorado) / Maximum 10 lines. Data of the last 5 years, providing degrees and level (bachelor, master, PhD) Grado en Informática: Lenguajes, Tecnologías y Paradigmas de Programación [2º] Métodos Formales Industriales [3º] Doctorado en Informática / Master en Ingeniería y Tecnología de Sistemas Software (MITSS): Fundamentos de Ingeniería de Software Automática [1º] Metodologías Ágiles y Programación Multiparadigma [2º] Fundamentos Lógicos y Algebraicos Nombre de quinquennis avaluats positivament / Número de quinquenios evaluados positivamente / Number of fiveyear periods of teaching positively assessed Experiència en gestió / Experiencia en gestión / Management experience Màxim 10 línies. Càrrec i temporalitat / Máximo 10 líneas. Cargo y temporalidad / Maximum 10 lines. Post and duration Coordinadora Nacional Área de Ciencias de la Computación y Tecnología Informática. Agencia Nacional de Evaluación y Prospectiva (ANEP), Ministerio de Ciencia y Tecnología ( ) Directora del Grupo de Investigación ELP de la UPV (desde 1989) Directora del Doctorado Conjunto en Informática: Programación Declarativa e Ingeniería del Sofware, con la U. Udine (Italia), financiado por el programa de Movilidad de Personal en los Programas de Doctorado de las U. Públicas (doctorado de calidad) ( ) Secretaria del Departamento de Sistemas Informáticos y Computación de la UPV ( ) Experiència en el disseny de programes de formació / Experiencia en el diseño de programas de formación / Study programme design experience D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 3/6

4 Màxim 10 línies / Máximo 10 líneas / Maximum 10 lines Miembro de la Comisión de Plan de Estudios de la Facultad de Informática de la UPV ( ) Miembro de la Comisión Académica del Master (CAM) ISMFSI de la UPV ( ) Miembro de la Comisión Académica del Título (CAT) del Máster MITSS de la UPV ( Coordinadora de la Rama Ingeniería del Software de la ETSINF de la UPV ( ) Experiència en avaluació de la qualitat / Experiencia en evaluación de la calidad / Experience in quality assessment Indicar què s ha avaluat, amb quin organisme i quan. Especificar si la participació va ser com a membre d un comitè intern (CAI) o d un comitè extern (CAE) i el rol desenvolupat (president/a, secretari/a, vocal, metodòleg/a). Per ex. Institucions: nom universitat-aqu-cae- vocal-2005 / Indicar qué se ha evaluado, con qué organismo y cuando. Especificar si la participación fue como miembro de un comité interno (CAI) o de un comité externo (CAE) y el rol desarrollado (presidente/a, secretario/a, vocal, metodólogo/a). Por ej. Instituciones: nombre universidad-aqu-cae-vocal / Provide what s been assessed, for which organisation and when. Specify the kind of review team-panel: internal or external and the category-role within the review team/panel (chair, secretariat, member, methodological expert). E.g. Institutions: university name-aqu-internal-vocal-2005 Titulacions / Titulaciones / Degrees: Master in Ingeniería del Software, Métodos Formales y Sistemas de Información-CAT-CAIvocal-2013 Institucions / Instituciones / Institutions: Universidades públicas españolas-fecyt-cae-relatora del grupo para la elaboración del Mapa de Excelencia Español en TIC( ) IMDEA Software-Fundación IMDEA-CAE-Miembro del IMDEA Software Advisory Board (desde 2007) Serveis / Servicios / Services: Professorat / Profesorado / Teaching staff: Sexenios de Investigación-CNEAI-CAE-Miembro del Comité Asesor del Campo 6.2 ( ) Sexenios de Investigación-ACPUA-CAE-Miembro de la Subcomisión de evaluación de sexenios (2013) Evaluación de la Docencia-UPV-CAI-Miembro de la Comisión de Evaluación CED (desde 2009) Profesorado Lector y Colaborador-AQU-CAE-Miembro de la subcomisión específica de Ingenierías y Arquitectura de la CLiC (desde 2003) Habilitaciones-Ministerio de Educación-CAE-miembro tribunal de habilitación para plazas de TU (2003) Plazas de CU/TU/TEU-Numerosas Universidades-CAE/CAI-miembro de Comisiones de Acceso(desde 1987) D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 4/6

5 Recerca / Investigación / Research: Responsable de la evaluación de los siguientes programas nacionales: TIN/TIC, PETRI, proyectos del CDTI, Ramón y Cajal, Salvador de Madariaga, dotaciones de infraestructuras y parques científicos, becas Fulbright, Acciones Integradas, planes regionales, programa Seneca, promociones académicas, evaluadores europeos-anep-cae-coordinadora Nacional del área de Ciencias de la Computación y Tecnología Informática( ) Grupos de Excelencia-D.G. de Universidades e Investigación de la CAM-CAE-Coordinadora de la Evaluación RETOS (2014) Programa Ramón y Cajal-MCyT-CAE-presidente ( ) Programa Juan de la Cierva-MEC-CAE-vocal (2005) Programas europeos (FET OPEN, RTN, M. Curie, HCM, etc)-7fp/6fp/5fp de la UE (DG INFO / DG CONNECT)-CAE-Miembro de paneles de expertos(desde 1999) Proyectos de Investigación-US National Scientific Foundation (NSF)-CAE-Experto evaluador(desde 2006) Proyectos de Investigación-Netherlands Organization for Scientific Research (NWO)-CAE- Experto evaluador (desde 2005) Proyectos de Investigación-Italian Ministry for Education, University and Reseach (MIUR)- CAE-Experto evaluador (desde 2001) Proyectos de investigación, desarrollo e innovación-xunta de Galicia-CAE-Experto evaluador (desde 2008) Proyectos de Excelencia-AGAE(Junta de Andalucía)-CAE-Experto evaluador(desde 2007) Proyectos del Plan Nacional de I+D+i-CICYT-CAE-Miembro del panel de selección de proyectos (varios años) Programas de investigación de la Generalitat de Catalunya (TecnioSpring, Beatriz de Pinós, RecerCaixa, ARCS...)-AGAUR-CAE-Experto evaluador (desde 2005) Premios Nacionales de Informática-MEC-CAE-Miembro del Jurado (2005,2006,2011) Early Career Faculty Honor Program-INTEL-CAE-Vocal (2012 y 2013) Plazas de Investigador Cientifico-CSIC-CAE-Miembro de tribunales de acceso (desde 2007) Coor Baayen Awards-ERCIM-CAE-miembro del comité director de SPARCIM (desde 2004) Premios Nacionales de Informática-SISTEDES-CAE-miembro del jurado (2005,2006,2011) Comisión para la Elaboración del Plan Nacional de I+D+I , Área de Tecnologías de la Sociedad de la Información Secretaría de Estado de Telecomunicaciones, MCyT Sistemes de qualitat / Sistemas de calidad / Quality systems: Altres mèrits / Otros méritos / Other relevant details Màxim 10 línies Dades rellevants d acord a un futur perfil d avaluador/a / Máximo 10 líneas. Datos relevantes de acuerdo a un futuro perfil de evaluador/a / Maximum 10 lines. Relevant details according to a possible reviewer profile D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 5/6

6 D.23. Model CV Experts_V1_2015_Acadèmic / Académico / Academic 6/6