Disponibilidad de datos, infraestructuras y equipos multidisciplinares, claves para impulsar la IA y la medicina de precisión

Expertos abogan por adaptar la formación de los profesionales sanitarios al nuevo entorno marcado por el desarrollo de la IA, las ciencias ómicas y la cirugía robótica

Research Areas

Natural Language Processing

Planning and Reasoning

Software analysis, verification and testing

Machine Learning and Deep Learning

Natural Computing

Computational Logic and Automated Reasoning

Intelligent Agents and Human Centered AI

AI, Privacy and Security

Software Production Methods

Discover VRAIN

Research Groups

Automata, Formal Languages and its Applications (ALFA)

Language Engineering and Pattern Recognition (ELiRF)

Extensions of Logic Programming (ELP)

Software Production Methods (PROS)

Machine Learning and Language Processing (MLLP)

Information Technology and Artificial Intelligence (GTI-IA)

Multi-paradigm Software Technology (MiST)

Interactive Tehnologies Lab (VertexLit)

Relevant active projects

14/06/2022

Published by jferrus on 14/06/2022

Categories

FAVPQC

Formal Analysis and Verification of Post-Quantum Cryptographic Protocols

24/03/2022

Published by jferrus on 24/03/2022

Categories

TAILOR

European TAILOR project

23/03/2022

Published by jferrus on 23/03/2022

Categories

OGMIOS

Intelligent system for clinical decision support in precision medicine.

22/03/2022

Published by jferrus on 22/03/2022

Categories

iv4XR

Intelligent Verification/Validation for Extended Reality Based Systems

21/03/2022

Published by jferrus on 21/03/2022

Categories

DECODER

DEveloper COmpanion for Documented and annotated code Reference

20/03/2022

Published by jferrus on 20/03/2022

Categories

GISPRO

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

Other relevant projects

Supporters