Research Activities

                                                                      

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 30 Research Projects funded by the EU, the Spanish Research Funding Agency, and other european foundations.
In 2019, she joined the Steering Committee of VRAIN (Valencian Research Institute for Artificial Intelligence).

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
  
• computational logic, artificial intelligence, automated reasoning
• 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, Journal of Logical and Algebraic Methods in Programming, Theoretical Computer Science, Fundamenta Informaticae, Journal of Logic Programming, Journal of Logic and Computation, Logic Journal of the IGPL, Software Tools for Technology Transfer, etc.

• CSBdB Ms Academic
  
• H-index
• See María Alpuente's coauthors
• Find the 17 PhD theses she has supervised
• ELP papers (and PhD theses) are available on-line

María Alpuente has served as a member of the Editorial Board of the Journal of Logical and Algebraic Methods in Programming (Elsevier) since 2020 and she previously served in the Journal of Functional and Logic Programming (EAPLS, formerly published by MIT Press). She was Guest Editor of Science of Computer Programming, vol. 78(7) (with C. Joubert, S. Kowalewski, and M. Roveri). She served in the Steering Committee of LOPSTR (Logic-based Program Synthesis and Transformation) and Transformation) and WWV (Automated Specification and Verification of Web Systems). During 2004-2017, she served in the Steering Commmittee of SPARCIM, the national arm of ERCIM (European Research Consortium for Informatics and Mathematics).

---

María Alpuente was appointed as a member of the Board of Directors of the Agència Valenciana d'Avaluació i Prospectiva (AVAP) in 2019.

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.

She 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). She was also appointed trustee for expert groups at FECYT (Spanish Foundation for Science and Technology) during the same period.

During 2015-2020, she served as a member of the Comissió d'Avaluació de la Recerca i de la Recerca Avançada (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 serves in the International Scientific Advisory Board of IMDEA-Software Foundation since 2007.

She was a member of the Committee that defined the National Research Programme on Information and Communication Technologies (TIC 2004-2007) at the Spanish Ministry of Science and Technology. She participated in the Jury for the National Computer Science Prizes (editions 2011, 2006 and 2005), awarded by the Sociedad Científica Informática de España (SCIE).

---

She has served in the Program Committee of the following international conferences:

• PEPM 2022, 2022 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2022
  Philadelphia, Pennsylvania (US), 17th-18th January, 2022.
• WPTE 2022, 9th Int'l Workshop on Rewriting Techniques for Program Transformations & Evaluation
  Haifa, August 2-8, 2022
• WRLA 2022, 15th International Workshop on Rewriting Logic and its Applications
  Munich (Germany), April, 2022
• LSFA 2021, 16th Workshop on Logical and Semantic Frameworks with Applications, co-located with
  FSCD 2021, Formal Structures for Computation and Deduction
  Buenos Aires, Argentina, July 17-24, 2021
  
• FLOPS 2020, 15th International Symposium on Functional and Logic Programming
  Akita (Japan), April 23-25, 2020
• FSCD 2020, 5th Int'l Conf. on Formal Structures for Computation and Deduction
  Paris (France), June-July, 2020
• LPAR-23, 23th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
  Alicante, Spain, May 22-27, 2020
• LOPSTR 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation,
  Bologna, Italy 7-9 September
• COMPUTATION TOOLS 2020, Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  Nice (France), April 26 - 30, 2020
• WRLA 2020, 13th International Workshop on Rewriting Logic and its Applications
  Dublin (Ireland), April, 25-26, 2020
• FM 2019, 23rd International Symposium on Formal Methods
  Porto (Portugal), October 7-11, 2019
• PEPM 2019, 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2019
  Lisbon (Portugal), January 14th-15th, 2019
• VALID 2019, Eleventh International Conference on Advances in System Testing and Validation Lifecycle
  Valencia, Spain, November 24 - 28, 2019
• WFLP 2019, The 27th International Conference on Functional and Logic Programming
  Cottbus, Germany, September 9-13, 2019 (part of Declare 2019)
• FLOPS 2018, Fourteenth International Symposium on Functional and Logic Programming
  Nagoya (Japan), May 9-11, 2018
• HCVS 2018, 5th Workshop on Horn Clauses for Verification and Synthesis
  Oxford (UK), July 13, 2018
• LFMTP 2018, 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
  Oxford (UK), July 7-8, 2018
• SPIN 2018, SPIN Symposium on Model Checking of Software
  Malaga, Spain, June 20 - 22, 2018
• UNIF 2018, 32nd Int'l Workshop on Unification (UNIF 2018), satellite workshop of FSCD 2018
  Oxford (England), July 7-8, 2018
• VALID 2018, Tenth International Conference on Advances in System Testing and Validation Lifecycle
  Nice, France, October 14 - 18, 2018 under SoftNet 2018
• WFLP 2018, The 26th International Conference on Functional and Logic Programming
  Frankfurt am Main, Germany, September 6, 2018
• FMICS-AVOCS 2017, Int'l Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems
  co-located with 13th International Conference on integrated Formal Methods (iFM 2017)
  September 18-20, 2017 Torino, Italy
  
• FSCD 2017, Second International Conference on Formal Structures for Computation and Deduction FSCD 2017
  Oxford, UK, September 3-9, 2017
• ITP 2017, 9th International Conference on Interactive Theorem Proving
  Brazilia (Brazil), September 23-25, 2017
  
• MoSEBIn'17, International Workshop on Modeling and Software Engineering in Business and Industry
  Zaragoza, Spain, June 26-27, 2017
• VALID 2017, Ninth International Conference on Advances in System Testing and Validation Lifecycle
  Athens, Greece, October 8-12, 2017
  
• FMICS-AVoCS 2016, 21th In'l Workshop on Formal Methods for Industrial Critical Systems
  joint with 16th International Workshop on Automated Verification of Critical Systems
  Pisa, Italy, September 2016
• LOPSTR 2016, 26th International Symposium on Logic-Based Program Synthesis and Transformation,
  Edinburgh, UK, September 6-8, 2016
• LSFA 2016, 11th Workshop on Logical and Semantic Frameworks with Applications, co-located with
  FSCD 2016, Formal Structures for Computation and Deduction
  Porto, Portugal, June 25-26, 2016
  
• VALID 2016, Eighth International Conference on Advances in System Testing and Validation Lifecycle
  Brusels, Belgium, August 21 - 25, 2016
  
• WWV 2016, 12th Int'l Workshop on Automated Specification and Verification of Web Systems, co-located with
  FSCD 2016, Formal Structures for Computation and Deduction
  Porto, Portugal, June 26, 2016
  
• ATSE 2015, 6th Workshop on Automating Test case design, Selection and Evaluation,
  York, UK, September 7-8, 2015
• FMICS 2015, 20th In'l Workshop on Formal Methods for Industrial Critical Systems,
  Oslo, Norway, June 22nd - 23rd, 2015
• LOPSTR 2015, 25th International Symposium on Logic-Based Program Synthesis and Transformation,
  Siena, Italy, July 13-15, 2015
• WWV 2015, 11th Int'l Symposium on Automated Specification and Verification of Web Systems,
  Oslo, Norway, June 24, 2015
• FMICS 2014, 19th In'l Workshop on Formal Methods for Industrial Critical Systems,
  Firenze, Italy, September 11-12, 2014
• WWV 2014, 10th Int'l Symposium on Automated Specification and Verification of Web Systems,
  Vienna, Austria, July 18, 2014
• PEPM 2013, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation,
  Rome, Italy, January 21-23, 2013
• SCSS 2013, 5th Int'l Symposium on Symbolic Execution in Software Science,
  Hagenberg, Austria, July 5-6, 2013
• CHR 2013, 10th Int'l Workshop on Constraint Handling Rules,
  Berlin, Germany, July 11-12, 2013
  
• FMICS 2013, 18th In'l Workshop on Formal Methods for Industrial Critical Systems,
  Madrid, Spain, 23-24 September 2013
  
• WWV 2013, 9th Int'l Workshop on Automated Specification and Verification of Web Systems,
  Firenze, Italy, June 6, 2013
• ASSE 2012, Argentine Symposium on Software Engineering,
  Ciudad de La Plata, Argentina, August 27-31, 2012
  
• WWV 2012, 8th Int'l Workshop on Automated Specification and Verification of Web Systems,
  Stockholm, June 16, 2012
  
• K 2011, 2nd In'l Workshop on the K Framework and its Applications,
  Cheile Gradistei, Romania, 8-12 August 2011
• WFLP 2011, 20th Int'l Workshop on Functional and (Constraint) Logic Programming,
  colocated with PPDP 2011 and LOPSTR 2011, Odense, Denmark, July 19, 2011
• WWV 2011, 7th Int'l Workshop on Automated Specification and Verification of Web Systems,
  colocated with DisCoTec 2011, Reykjavik, Iceland, June 9, 2011
• FMICS 2010, 15th In'l Workshop on Formal Methods for Industrial Critical Systems, colocated with the
  25th International Conference on Automated Software Engineering - ASE 2010
  Antwerp, Belgium, September 20-21, 2010
  
• ICLP 2010, the 26th International Conference on Logic Programming
  Edinburgh, Scotland, U.K., Jul 16 - 19, 2010, a part of the Fourth Federated Logic Conference FLoC 2010
  


• PC Chair of LOPSTR 2010, 20th International Symposium on Logic-Based Program Synthesis
  and Transformation, Hagenberg, Austria, July 23-25, 2010
• PADL 2010, Twelfth Int'l Symp. on Practical Aspects of Declarative Languages,
  co-located with POPL 2010, Madrid, January 20-22, 2010
• RULE 2010, 11th Int'l Symp. on Rule-based Programming,
  in conjunction with FLOC 2010, Edinburgh, UK, July 14, 2010
• SAS 2010, 17th International Static Analysis Symposium,
  Perpignan, France, Sept 14-16 , 2010
• WFLP 2010, 19th Int'l Workshop on Functional and (Constraint) Logic Programming,
  colocated with POPL 2010, Madrid, Spain, January 17, 2010
• WWV 2010, 6th Int'l Workshop on Automated Specification and Verification of Web Systems,
  Vienna, Austria, July 10, 2010
  
  
• PC co-Chair of FMICS 2009 (with Byron Cook, Microsoft Research, Cambridge)
  14th Int'l Workshop on Formal Methods for Industrial Critical Systems,
  co-located with 16th Int'l Symposium on Formal Methods, FM 2009
  Eindhoven, The Netherlands, Oct 30 - Nov 7, 2009
• ICFP 2009, 14th ACM SIGPLAN International Conference on Functional Programming
  Edinburgh, Scotland, August 31-Sept 2, 2009
• LOPSTR 2009, 19th International Symposium on Logic-Based Program Synthesis and
  Transformation, part of CSL-PPDP-LOPSTR 2009, Coimbra, Portugal, September 7-11, 2009
• SAS 2009, 16th International Static Analysis Symposium, co-located with LICS 2009
Los Angeles, Ca, August 9-11, 2009

• WFLP 2009, 18th Int'l Workshop on Functional and (Constraint) Logic Programming
  Brasília, Brazil, July 2009, a part of RDP 2009
• WWV 2009, 5th Int'l Workshop on Automated Specification and Verification of Web Systems
  Hagenberg, Austria, July 17, 2009, within RISC Summer 2009

• PC co-Chair of SAS 2008 (with German Vidal, T. U. Valencia) 15th  International Static Analysis Symposium
co-located with LOPSTR 2008 and PPDP 2008
Valencia, Spain, July 16-18, 2008
• FLOPS 2008, Ninth International Symposium on Functional and Logic Programming
  Ise, Japan, April 14-16, 2008
• FMICS 2008, 13th In'l Workshop on Formal Methods for Industrial Critical Systems, colocated with the
23rd IEEE/ACM International Conference on Automated Software Engineering - ASE 2008
L'Aquila, Italy, September 15-16, 2008.
• WWV 2008, 4th Int'l Workshop on Automated Specification and Verification of Web Systems
  Siena, Italy, July 4, 2008, co-located with WFLP 2008
• WFLP 2008, 17th Int'l Workshop on Functional and (Constraint) Logic Programming
  Siena, Italy, July 3-4, 2008
• PPDP 2007, 9th International ACM Symposium on Principles and Practice of Declarative Programming
  Wroclaw, Poland, July 14-16, 2007, colocated with ICALP 2007 and LICS 2007
• WWV 2007, 3rd Int'l Workshop on Automated Specification and Verification of Web Systems
  Venice, Italy,  December  14, 200
• ICLP-06, the 22nd International Conference on Logic Programming
  Seattle, Washington, USA, August 17-20, 2006, a part of the Fourth Federated Logic Conference FLoC 2006
• LPAR-13, the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
  Phnom Penh, Cambodia, November 13-17, 2006
  
• WLPE'06, the 16th Workshop on Logic-based methods in Programming Environments
  Seattle, Washington, USA, August 16, 2006, satellite workshop of ICLP-06
• ISOLA 2006, 2nd Int'l Symp. on Leveraging Applications of Formal Methods
  Paphos, Cyprus, November 15-19, 2006
  
  
• PC co-Chair of WWV 2006 (with Moreno Falaschi, U. of Siena),
  2nd Int'l Workshop on Automated Specification and Verification of Web Systems
  co-located with ISOLA 2006
  Paphos, Cyprus,  November  19, 2006
• LPAR-12, the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning,
  Montego Bay, Jamaica, December 2-6, 2005
• LOPSTR 2005, the 15th Int'l Workshop on Logic Program Synthesis and Transformation
  London, UK, September 2005, co-located with the Int'l Static Analysis Symp. SAS 2005
• IJCAI 2005 poster track committee, the Nineteenth Int'l Joint Conf. on Artificial Intelligence
  Edinburgh, Scotland, July 30- August 5, 2005
  
  
• PC co-Chair of WWV 2005 (with Moreno Falaschi, U. of Siena)
  1st Int'l Workshop on Automated Specification and Verification of Web Sites
  Valencia, Spain, March 14-15, 2005
• WLPE 2004, 14th Int'l Workshop on Logic Programming Environments
  Saint Malo, France, September 6-7, 2004, part of the 20th Int'l Conf. on Logic Programming ICLP 2004
• WFLP 2004, 13th Int'l Workshop on Functional and (Constraint) Logic Programming
  Aachen, Germany, June 1, 2004, part of the 2nd Federated Conf. on Rewriting, Deduction, and Programming RDP 2004
• PPDP 2003, Fifth ACM Int'l Conf. on Principles and Practice of Declarative Programming
  Uppsala, Sweden, August 27-29, 2003, colocated with ICFP 2003,
  a part of the Int'l Colloquium on Principles, Logics and Implementations of high-level programming languages PLI 2003
  
  
• Workshops Chair of RDP 2003
  Federated Conference on Rewriting, Deduction and Programming
  Valencia, Spain, June 8-14, 2003
  
• IJCAI'03 poster track committee, Eighteenth Int'l Joint Conf. on Artificial Intelligence
  Acapulco, Mexico, August 9-15, 2003
• WFLP 2003, 12th Int’l Workshop on Functional and (Constraint) Logic Programming
Valencia, Spain, June 12-13, 2003,
part of the 1st Federated Conference on Rewriting, Deduction, and Programming RDP 2003
• AGP 2003, 2003 Joint Conf. on Declarative Programming
  Reggio Calabria, Italy, September 3-5, 2003
• WFLP 2002, 11th Int'l Workshop on Functional and (Constraint) Logic Programming
  Grado, Italy, June 20-22, 2002
• PEPM 2002, 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
  Portland, USA, January 14-15, 2002,
  preceding the 29th Annual ACM SIGPLAN - SIGACT Symp. on Principles of Programming Languages POPL 2002
• FLOPS 2002, 6th Int'l Symposium on Functional and Logic Programming
  Aisu Aizu, Japan, September 15-17, 2002,
  co-Located with the ACM SIGPLAN Asian Symp. on Partial Evaluation and
  Semantics-Based Program Manipulation ASIA-PEPM 2002
  
• PPDP 2001, 3rd ACM Int'l Conf. on Principles and Practice of Declarative Programming
  Firenze, Italy, September 5-7, 2001,
  co-located with ICFP 2001 as a part of the Int'l Colloquium on Principles, Logics and Implementations
  of high-level programming languages PLI 2001
• WRS 2001, 1st Int'l Workshop on Reduction Strategies in Rewriting and Programming WRS 2001
  Utrecht, The Netherlands, May 26, 2001,
  held in conjunction with the 12th Int'l Conf. on Rewriting Techniques and Applications RTA 2001
• WFLP 2001, Tenth Int'l Workshop on Functional and (Constraint) Logic Programming
  Kiel, Germany, September 13-15, 2001
• CL 2000, First Int'l Conf. on Computational Logic -Implementations and Applications of Logic Programming Stream-
  London, UK, July 24-28, 2000, CL 2000 incorporated the former ICLP conference series
  
  
• PC Chair of WFLP 2000
  9th Int'l Workshop on Functional and Logic Programming
  Benicassim, Spain, September 28-30, 2000
• PPDP 1999, First ACM Int'l Conf. on Principles and Practice of Declarative Programming PPDP 1999
  Paris, France, 29 September - 1 October 1999,
  co-located with ICFP 1999 as a part of the Int'l Colloquium on Principles, Logics, and Implementations of high-level programming languages PLI'99
• AGP 1997, 1997 Joint Int'l Conf. on Declarative Programming
  Grado, Italy, June 16-19, 1997
  
• PLILP 1997, 9th Int'l Symp. on Programming Languages, Implementations, Logics and Programs
  Southampton, UK, September 3-5, 1997, held with 6th Int’l Conf. on Algebraic & Logic Programming ALP 1997
• AGP 1996, 1996 Joint Int'l Conf. on Declarative Programming
  Donostia, Spain, June 15-18, 1996
• PLILP 1996, 8th Int'l Symp. on Programming Languages, Implementations, Logics and Programs
  Aachen, Germany, September 24-27, 1996, held with 5th Int'l Conf. on Algebraic & Logic Programming ALP 1996
  
  
• PC co-Chair of  AGP 1995 (with Maria I. Sessa, U. of Salerno)
  1995 Joint Int'l Conf. on Declarative Programming
Marina di Vietri, Italy, September 11-14, 1995
• PC co-Chair of  Gulp-Prode'94 (with Roberto Barbuti, U. of Pisa)
  1994 Joint Int'l Conf. on Declarative Programming
  Peñi­scola, Spain, September 19-22, 1994

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

She serves since 2008 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), where she coordinates the SISTEDES Doctorate Prize.

Her Erdös number is four.