ALPUENTE FRASNEDO, MARÍA / Computer science / Researchers

International Center for Scientific Research

Researchers

Computer science / ALPUENTE FRASNEDO, MARÍA

alpuentedsic.upv.es

Position

Full Professor of Computer Science,
Leader of the ELP Group,
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Valencia, Spain

Member of the Editorial Board of the Journal of Functional and Logic Programming (EACSL, formerly published by MIT Press).

Research interests

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.

Legal notice - Contact

Copyright © 2013 - www.cirs.info - All rights reserved