María Alpuente Frasnedo

Tras licenciarse en Física Eléctrica y Electrónica por la Universidad de Valencia (1985), María Alpuente se doctoró en Informática por la Universidad Politécnica de Valencia (UPV) en 1991. Desde 1997 es Catedrática de Informática en la UPV, donde ha dirigido el Grupo de Lenguajes de Programación y Métodos Formales (ELP) desde su creación en 1989. Su investigación se centra en la ingeniería de software automatizada, los métodos formales industriales y su aplicación a la seguridad de sistemas complejos.  Ha liderado numerosos proyectos de investigación financiados por la UE, la Agencia Española de Financiación de la Investigación y otros organismos internacionales. 

Ha publicado unos 250 artículos científicos en congresos internacionales, libros y revistas de gran prestigio.  Ha formado parte del consejo editorial de J. of Logical and Algebraic Programming (Elsevier) y de J. of Functional and Logic Programming (MIT Press), y ha presidido los comités de programa científicos de LOPSTR 2010, FMICS 2009, SAS 2008, WWV 2006-2005, WFLP 2000, AGP'95 y GP'94. Ha editado varios volúmenes de investigación con Springer, IEEE y Elsevier y formado parte del comité de programa de un centenar de conferencias internacionales de gran prestigio, como FLOPS, FM/FME, FMICS, FSCD, ICFP, ICLP, IJCAI, ITP, LFMTP, LSFA, LPAR, LOPSTR, PEPM, PLILP, PPDP, RDP, SAS y SPIN. Ha dirigido 17 tesis doctorales.

María Alpuente fue la primera Catedrática de Universidad en Informática de la Comunidad Valenciana. Fue miembro del Comité Asesor del Campo 6.2 de la Comisión Nacional Evaluadora de la Actividad Investigadora (CNEAI, 2011-2012) y coordinadora nacional del área de Ciencias de la Computación y Tecnología Informática de la Agencia Nacional de Evaluación y Prospectiva (ANEP, 2001-2003) en el Ministerio de Ciencia y Tecnología. Ha sido miembro del Comité Director de la Agència Valenciana d'Avaluació i Prospectiva (AVAP, 2020-2024). Fue Coordinadora de evaluación de Programas de Excelencia de la CAM en las áreas de Tecnologías de la Información y Comunicaciones, Espacio y Servicios de Ato Valor Añadido. Fue coordinadora en España de uno de los primeros doctorados  internacionales en Informática, financiado por el Ministerio Italiano de la Universidad (MIUR) y el programa  nacional de "Doctorado de Calidad en las Universidades Públicas Españolas".

Ha sido miembro por varios años del Jurado para la concesión de los premios nacionales de investigación en Informática que otorga la Sociedad Científica Informática de España (SCIE) y ha participado como miembro de la Comisión Asesora del programa de excelencia para postgrados internacionales de La Caixa.  Desde 2009 es miembro del Consejo Científico Internacional de IMDEA-Software.