Excellence Group PROMETEO/2011/052, PROMETEO-II/2015/013, PROMETEO/2019/098, and CIPROM/2022/6

About ELP


ELP is with VRAIN from 2019 on. Click here to visit the new ELP@VRAIN site

Research Lines of the ELP

  • Industrial Formal Methods
  • Cryptographic Protocol Analysis
  • Logic for Automated Reasoning and Systems Verification
  • Robust Evaluation of AI Capabilities
  • Metamodels for Adversarial Machine Learning
  • Visual Artificial Intelligence
  • Data Science Methodologies and Automation
  • Term rewriting systems; Functional and Logic programming
  • Semantics of programming languages, and its application to the analysis, specification, verification, debugging, testing, learning, certification, transformation and optimization of complex software systems

See the ELP in the media

(old Press releases)

Click for Conferences and Workshops organized by ELP