Extensiones de la Programación Lógica

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.


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