Inicio   >   Centros de competencia   >   ELP

ELP

Grupo Extensions of Logic Programming

contacto
María Alpuente
dirección
Departamento de Sistemas Informáticos y Computación U. Politécnica de Valencia Camino de Vera S/N 46.020 Valencia
Provincia
Valencia

QUIÉNES SOMOS

El grupo ELP desarrolla técnicas ágiles para el análisis, transformación, verificación, depuración, validación, síntesis, certificación y optimización de programas y datos. Algunos de sus logros más recientes están relacionados con el análisis de propiedades de programas y protocolos criptográficos, técnicas y herramientas de verificación de software, evaluación y calibración de clasificadores de datos, y análisis, diagnóstico y reparación automática de sistemas complejos.

Capacidades en habilitadores tecnológicos

Ciber Seguridad

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

Inteligencia Artificial y Computación

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

Sectores

  • Otros: Sector TEIC
  • Salud

Proyectos I+D+I

Patentes

Personal

Formación

Demostradores

Los Demostradores son espacios habilitados por cada centro para mostrar ejemplos de aplicación y prototipos de las Tecnologías Habilitadoras.

Infraestructuras

Accede a las diferentes infraestructuras y equipamientos que cada miembro pone a disposición de las empresas y de otros centros relacionados con cada tecnología.