Research lines

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