María Alpuente's Profile
About María Alpuente
Maria Alpuente graduated with a B.Sc. (M.Sc.) degree in Electrical and Electronics Physics at the University of Valencia (1985), and received her Ph.D. in Computer Science from the
Technical University of Valencia (UPV) in Equational Constraint Logic Programming (1991).
Since June 1997, she has been a Full Professor in Computer Science at UPV, where she has led the Extensions of Logic Programming Group since its creation in 1989.
Research Interests:
- 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
Affiliations
| - | : | Technical University of Valencia (UPV) |
Recent Publications
- On-demand strategy annotations revisited: An improved on-demand evaluation strategyTCS, 411(2):504-541, 2010. [doi]
- An integrated framework for the diagnosis and correction of rule-based programsTCS, 411(47):4055-4101, 2010. [doi]
- A compact fixpoint semantics for term rewriting systemsTCS, 411(37):3348-3371, 2010. [doi]