Full Professor of Computer Science,
Leader of the ELP Group,
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Member of the Editorial Board of the Journal of Functional and Logic Programming (EACSL, formerly published by MIT Press).
Her research interests include rewrite systems,multiparadigm declarative programming, and formal methods, in particular semantics-based program analysis, specification, modelling, verification, debugging, learning, certification and transformation.