Página del grupo: http://elp.webs.upv.es
The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lighthweight formal methods, semantics of programming languages -and its application to the analysis, specification, verification, debugging, testing, learning, certification, transformation and optimization of multi-paradigm programs-, term rewriting systems, logic programming, functional programming, computational logic, machine learning, and inductive logic programming.
| Alpuente Frasnedo, María | alpuente@dsic.upv.es | Catedrático de Universidad |
| Ferri Ramírez, César | cferri@dsic.upv.es | Catedrático de Universidad |
| Hernández Orallo, José | jorallo@dsic.upv.es | Catedrático de Universidad |
| Lucas Alba, Salvador | slucas@dsic.upv.es | Catedrático de Universidad |
| Monserrat Aranda, Carlos | cmonserr@dsic.upv.es | Catedrático de Universidad |
| Piris Ruano, Francisco Javier | jpiris@dsic.upv.es | Titular de Escuela Universitaria |
| Ramírez Quintana, María José | mramirez@dsic.upv.es | Titular de Universidad |
| Villanueva García, Alicia | villanue@dsic.upv.es | Titular de Universidad |
| Analysis of cryptographic protocols, verification of critical software properties, provable security | ||
| Multi-paradigm Programming: functional, logic, OO, constraint, concurrent, mobile languages | ||
| Semantics of programming languages and its application to the analysis, modeling, verification, debugging, certification, transformation & optimization of complex software systems | ||
| Formal methods in Software Engineering (automated software engineering) | ||
| Automated deduction and reasoning. Term Rewriting Systems. Logic models in Automated reasoning systems. Symbolic Execution | ||
| Evaluation in Machine Learning and Artificial Intelligence. Evaluation of intelligent agents and models. Universal Psychometry | ||
| AI Safety y Explainable AI (XAI) | ||
| Machine Learning, Data Science and Data Mining. Inductive and Probabilistic programming, Machine Teaching |
Grupo de Extensions of Logic Programming (ELP)
Maria Alpuente Frasnedo
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera, s/n, 46022 Valencia (España)
Tel.: +34-963879354 - Fax: +34-963877359
alpuente@dsic.upv.es