Research Areas



Discover VRAIN



Research Groups


alfa-icon
Automata, Formal Languages and its Applications (ALFA)
elirf-icon
Language Engineering and Pattern Recognition (ELiRF)
elp-icon
Extensions of Logic Programming (ELP)
pros-icon
Software Production Methods (PROS)
mllp-icon
Machine Learning and Language Processing (MLLP)
gtiia-icon
Information Technology and Artificial Intelligence (GTI-IA)
mist-icon
Multi-paradigm Software Technology (MiST)
vertexlit-icon
Interactive Tehnologies Lab (VertexLit)

Relevant active projects


14/06/2022

FAVPQC

Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022

TAILOR

European TAILOR project
23/03/2022

OGMIOS

Intelligent system for clinical decision support in precision medicine.
22/03/2022

iv4XR

Intelligent Verification/Validation for Extended Reality Based Systems
21/03/2022

DECODER

DEveloper COmpanion for Documented and annotated code Reference
20/03/2022

GISPRO

Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering

Supporters