About Us
The Institute
Members
Facilities
Research
Research Areas
Groups
Projects
Publications
Innovation
Services
Software & Patents
Partners
Training
Courses and MOOCs
PhD
Master
Career
News
Contact
✕
SPIN-OFFS INV. SEMINAR
Join our latest Seminar Series, which is about to host online next Monday!
Read More
Automated Bots for Scheduling
Bots to assist with automated and programmed dates in a faster, more efficient way.
Read More
IV4XR
Artificial Intelligence for quality assurance of Extended Reality games, virtual worlds and simulators.
Read More
DECODER
The UPV participates in the creation of an innovative methodology and tools that simplify the development of new computer programs.
Read More
LOIMOS
A new pandemic simulator to predict the evolution of epidemiological scenarios.
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