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)
