Research areas
- Computer-aided decision making
- Data science: Data mining, big data, text mining, spatio-temporal data, knowledge representation and reasoning
- Formal methods for specification, design and verification of computer systems
- Human-robot interaction and social robotics
- Machine learning: Neural networks, supervised and unsupervised learning, deep learning
- Multi-agent systems
- Security and privacy: Data security, privacy and big data
- Theoretical computer science
Research teams
- Artificial Intelligence, Privacy & Applications (AIPA)
- Formal Methods (FORMS)
- Projects of Intelligent Robotics and Advanced Cognitive Systems (PRISCA Lab)
- Social and Economic Intelligence (SELL)