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
✕
Jornada VRAIN próximo 30 de marzo
La jornada mostrará los avances de VRAIN de la UPV en Inteligencia Artificial y sus aplicaciones para empresas y sociedad
Read More
IA para la calidad de software
ENACTEST desarrollará innovadoras cápsulas formativas para conocer cómo testear un software de forma correcta
Read More
VRAIN y el uso de las redes
En Radiotelevisión Española, Santiago Escobar y Lluis Felip Hurtado,
ambos miembros de #VRAIN, fueron entrevistados sobre el uso e implicaciones de las redes y aplicaciones de citas
Read More
IA en medicina preventiva
Un equipo de investigadores de VRAIN coordina el proyecto OGMIOS, con el IIS La Fe, INCLIVA, ISABIAL y Bionos, que facilitará el diagnóstico precoz del cáncer pediátrico y enfermedades cardiovasculares.
Read More
La ética de la aplicación ChatGPT
Javier Palanca, miembro de VRAIN UPV, debate sobre el uso ético de la nueva aplicación de texto, ChatGPT
Read More
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
A
new
future
for artificial inteligence
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