Research Activities

                                                                      
       

Positions:

Since 1997:


Full Professor, DSIC-UPV


(Catedratica de Universidad)

Degrees:

  • PhD in Computer Science. Technical University of Valencia (UPV) / University of Pisa (Italy), 1986-1991
  • Postgrade, Master of Research in Industrial Engineering (Automation, Control and Industrial Computing track). Technical University of Valencia (UPV), 1985-1986
  • MSc/BSc in Physics (Electrical and Electronic Track). U. of Valencia (UV), 1980-1985
  • Research:

    Since 1985, she has been a professor in Computer Science at UPV, where she leads the Extensions of Logic Programming Group (ELP, 12 Ph.D.'s, 36 researchers) since its creation in 1989. She has headed several Research Projects funded by the EU, the Spanish Research Funding Agency, and other european foundations.

    Her Research Interests include:
    • industrial formal methods, automated software engineering
    • static and dynamic analysis; program synthesis, transformation and specialization (partial evaluation); automated verification (model checking); program debugging and correction; certification and optimization of programs and complex systems
    • symbolic execution, semantics of programming languages, multi-paradigm programming, functional and logic programming
    • term rewriting systems and applications (security applications, internet applications), narrowing strategies, termination analysis

    She has published over two hundred scientific papers on these topics in international conference proceedings, books and international journals, including ACM TOPLAS, ACM Computing Surveys, Information and Computation, Journal of Symbolic Computation, Theory and Practice of Logic Programming, Science of Computer Programming, Journal of Logic and Algebraic Programming, Theoretical Computer Science, Journal of Logic Programming, Journal of Logic and Computation, Logic Journal of the IGPL, Software Tools for Technology Transfer,
    etc.
    María Alpuente served as a member of the Editorial Board of the Journal of Functional and Logic Programming (EAPLS, formerly published by MIT Press) and was Guest Editor of Science of Computer Programming, vol. 78(7) (with C. Joubert, S. Kowalewski, and M. Roveri). During 2004-2017, she served in the Steering Commmittee of SPARCIM, the national arm of ERCIM (European Research Consortium for Informatics and Mathematics). She has been reviewer for many international journals and conferences and served in the Steering Committee of LOPSTR (Logic-based Program Synthesis and Transformation) and Transformation) and WWV (Automated Specification and Verification of Web Systems).

    María Alpuente coordinated the Computer Science and Information Technology area of ANEP (the National Evaluation and Prospect Agency) in the Spanish Ministry of Science and Technology (2001 - 2003).

    During 2010-2012, she served as a member of the Comité Asesor del Campo 6.2 (Ingenierías de la Comunicación, Computación y Electrónica) de la CNEAI (Comisión Nacional Evaluadora de la Actividad Investigadora), Spanish Ministry of Education.

    Since 2015, she serves as a member of the Comissió d'Avaluació de la Recerca (Comissió específica d'Enginyeria i Arquitectura) de AQU (Agència per a la Qualitat del Sistema Universitari de Catalunya), full member of the European Association for Quality Assurance in Higher Education (ENQA).

    She was a member of the Committee that defined the Spanish National Research Programme on Information and Communication Technologies (TIC 2004-2007) at the Spanish Ministry of Science and Technology. She served as a member of the Jury for the National Computer Science Prizes (editions 2011, 2006 and 2005), awarded by the Sociedad Científica de Informática de España (SCIE). Since 2007, she belongs to the Scientific Advisory Board of IMDEA-Software Foundation.


    During 2016/18, she is a Program Committee member of the following international events:

    She also served in the program committee of the following international conferences before:

    as well as in the program committee of the following national conferences

    She serves in the Steering Committee of the Scientific Society of Software Engineering and Technologies for
    Software Development (SISTEDES)
    , a member of SCIE (Sociedad Científica de Informática de España) since 2008.

    Her Erdös number is four.

    ELP GPLIS DSIC UPV