Home   >   Competence centers   >   ELP

ELP

Grupo Extensions of Logic Programming

contact
María Alpuente
Address
Department of Information Systems and Computing U. Polytechnic of Valencia Camino de Vera S/N 46.020 Valencia
Province
Valencia

WHO WE ARE

The ELP group develops agile techniques for the analysis, transformation, verification, debugging, validation, synthesis, certification and optimization of programs and data. Some of his most recent achievements are related to the analysis of properties of cryptographic programs and protocols, software verification techniques and tools, evaluation and calibration of data classifiers, and analysis, diagnosis and automatic repair of complex systems.

Technological Enablers Capabilities

Artificial Intelligence and Computing

Machine learning technologies
Metamodels for Adversarial Machine Learning. Inductive programming. Model adaptation. Hierarchical and Multiclass classification. Machine Intelligence Evaluation

Sectores

  • Otros: Sector TEIC
  • Salud

Ciber Security

Security & Privacy By Design tools
Program verification, safety analysis, provable security. Protocol crypto-analysis. Automated analysis, modeling, verification, synthesis, learning, debugging and optimization of complex systems and models

Sectores

  • Otros: Sector TEIC

R+d+i Projects

Patents

Staff

Training

Demonstrators

The Demonstrators are spaces enabled by each center to show application examples and prototypes of the Enabling Technologies

See demonstrators of elp

Infraestructures

Access the different infrastructures and equipment that each member makes available to companies and other centers related to each technology.

See infrastructures of elp