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.
* 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
|-||:||Technical University of Valencia (UPV)|