Research Areas



Discover VRAIN



Research Groups


Home
Automata, Formal Languages and its Applications (ALFA)
Home
Language Engineering and Pattern Recognition (ELiRF)
Home
Extensions of Logic Programming (ELP)
Home
Software Production Methods (PROS)
Home
Machine Learning and Language Processing (MLLP)
Home
Information Technology and Artificial Intelligence (GTI-IA)
Home
Multi-paradigm Software Technology (MiST)
Home
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