Research Activities

                                                                      

She is the leader of the Extensions of Logic Programming Group (ELP, 12 Ph.D.'s, 36 researchers) at the Technical University of Valencia UPV. She has headed several Research Projects funded by the EU, the Spanish Research Funding Agency, and other european foundations.

Her Research Interests include:

• rule-based programmig: declarative / functional / equational / algebraic / (constraint) logic programming
• multi-paradigm (functional-logic) programming
• narrowing strategies, termination analysis
  
• term rewriting systems and applications (security applications, internet applications)
• industrial formal methods
• semantics of programming languages, and
  
• automated software engineering, i.e. the application of formal semantics to automated
analysis, specialization (partial evaluation), verification (model checking),
        debugging (diagnosis and correction), learning (inductive program synthesis), testing,
        certification (PCC), transformation, and optimization of programs

She has published more than a hundred research papers on these topics in international conference proceedings, books and international journals, including ACM TOPLAS, ACM Computing Surveys, Theoretical Computer Science, Journal of Logic and Computation, Theory and Practice of Logic Programming, The Journal of Logic Programming, Software Tools for Technology Transfer, etc

• Click to search María Alpuente's bibliography in DBLP, CSBdB, Ms Libra
  
• María's H/G-index
• Click to see Mari­a Alpuente's coauthors
• Click to find the (14) PhD theses she has supervised
• ELP papers (and PhD. theses) are available on-line

Mari­a Alpuente has served as a reviewer for many international journals and conferences, and is a member of the Editorial Board of the Journal of Functional and Logic Programming (EAPLS, formerly published by MIT Press). She is a Steering Committee Member of LOPSTR (Logic-Based Program Synthesis and Transformation), and WWV (Automated Specification and Verification of Web Systems).

She was a representative of the ESPRIT Compulog Network of Excellence. She participated in the Strategic Planning Workshop on Future Research Domains at the Frontiers of Science and Technology, EC (Brussels, Belgium), organised by the Future and Emerging Technologies arm of the IST programme. She was a member of the Committee that prepared the Spanish National Research Programme on Information and Communication Technologies 2004-2007 at the Spanish Ministery of Science and Technology. She served as a member of the jury for the Spanish Computer Science Awards (2011, 2006 and 2005). Since 2007, she belongs to the Scientific Advisory Board of IMDEA-Software Foundation. 

Mari­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).
She serves in the Steering Committee of SISTEDES since 2008.

---

During 2013, she is a Program Committee member of the following international events:

• 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
  
• PEPM 2013, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation,
  Rome, Italy, January 21-23, 2013
• WWV 2013, 9th Int'l Workshop on Automated Specification and Verification of Web Systems,
  Firenze, Italy, June 6, 2013

Before 2013, she also served in the program committee of the following international conferences:

• 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

Maria is passionate about helping students and young researchers to get a good start in their careers. Most of her students took their first jobs in academia.
Her Erdös number is four.