Research areas
- Computer-aided decision making
- Data science: Data mining, big data, text mining, spatio-temporal data, knowledge representation and reasoning
- Empirical Software Engineering e Mining di Repository Software
- 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
- Mobility Services e Intelligent Transportation Systems
- Multi-agent systems
- Security and privacy: Data security, privacy and big data
- Software Engineering e Qualità del Software
- Testing, Verification and Validation of Software/AI Systems
- Theoretical computer science
Research teams
