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 dirige el Grupo de Lenguajes de Programación y Métodos Formales (ELP) desde su creación en 1989. Ha dirigido 16 proyectos de investigación financiados por la UE, la Agencia Española de Financiación de la Investigación y otros organismos europeos. 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 publicado unos 250 artículos científicos sobre estos temas en actas de 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 (anteriormente publicada por MIT Press), y ha presidido los comités de programas 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-Verlag, IEEE y Elsevier Science y ha 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 (varias ediciones). Ha dirigido 17 tesis doctorales.