About Us
The Institute
Members
Facilities
Annual Reports
Research
Research Areas
Groups
Projects
Publications
Innovation
Services
Software & Patents
Partners
AI Transfer
Training
Courses and MOOCs
PhD
Master
Career
News
Contact
✕
Diseñan un nuevo sistema de voto a prueba de ataques
El sistema no requiere de ningún tipo de cifrado y aseguraría en todo momento la privacidad de los electores
Leer Más
¡Más contratos laborales!
¡VRAIN de nuevo está buscando contratar a un técnico superior en torno al desarrollo de
un prototipo sobre el análisis afectivo de información multimedia UPV!
Leer Más
AIJU y VRAIN-UPV muestran aplicaciones de la IA en sectores clave de la Comunitat
La jornada ha enseñado aplicaciones en el sector de transformación de plásticos, juguetes, turismo y salud
Leer Más
¡Nuevo contrato laboral!
VRAIN está buscando un nuevo candidato como técnico superior
en base a actividades científico-técnicas con contrato indefinido.
Leer Más
Inteligencia Artificial para la formación oncológica
Un equipo de VRAIN-UPV utilizará su tecnología de subtitulación simultánea para la formación oncológica en Europa
Leer Más
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
Main Projects
Projects
FAVPQC
Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022
Published by
jferrus
on
24/03/2022
Categories
Main Projects
Projects
TAILOR
European TAILOR project
23/03/2022
Published by
jferrus
on
23/03/2022
Categories
Main Projects
Projects
OGMIOS
Intelligent system for clinical decision support in precision medicine.
22/03/2022
Published by
jferrus
on
22/03/2022
Categories
Main Projects
Projects
iv4XR
Intelligent Verification/Validation for Extended Reality Based Systems
21/03/2022
Published by
jferrus
on
21/03/2022
Categories
Main Projects
Projects
DECODER
DEveloper COmpanion for Documented and annotated code Reference
20/03/2022
Published by
jferrus
on
20/03/2022
Categories
Main Projects
Projects
GISPRO
Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering
Project list
Other relevant projects
Supporters