Udine & India
Research projects in applicable mathematics and information sciences
Marìa Alpuente Frasnedo
Institution:
Universidad Politecnica de Valencia (Spain)
Departamento de Sistemas Informáticos y Computación
Position:
Full Professor (since 1997)
Research:
- 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;
- automated software engineering, i.e. the application of formal semantics to automated.
Email:
alpuente@dsic.upv.es