Competenze

WIRELESS NETWORKS LABORATORY

- Active and Assisted Living
- Communication Middleware for Context-awareness
- Indoor Localization
- Mobile Social Computing
- Sensing and Assistive Technologies
- Wireless Communications
- Data Analytics and Signal Processing
- Sustainable and Digital Agriculture



FORMAL METHODS AND TOOLS LABORATORY

- Verification tools and techniques
- Requirements Engineering
- Natural Language Processing
- Empirical Software Engineering
- Human factors in Software Engineering
- Formal approaches to Software Product Line Engineering
- Formal modelling and verification of spatially distributed systems
- Formal modelling and verification of service-oriented systems
- Quantitative formal methods for Collective Adaptive Systems
- Modeling and analysis of railway control systems
- Formal approaches to medical image analysis
- Formal modelling of business processes


SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING

- Critical Infrastructures Resilience
- Fault/Intrusion-tolerant Solutions and Dependability Assessment
- Analysis, Testing and Monitoring of Evolving, Complex Systems and Infrastructures
- Scalable Software Regression Testing
- Cyber-Security and Privacy
- Human-centered development
- Quality assessment for Drones, Cobots and Industry 5.0


SYSTEM AND SOFTWARE EVALUATION CENTER

- Models and Methods for Software Product Evaluation
- Software Certification
- Software Process Assessment and Improvement
- Software Product Measurement


HUMAN INTERFACES IN INFORMATION SYSTEMS LABORATORY

- Ambient Assisted Living
- Automatic support for Accessibility and Usability Evaluation
- End-User Development
- Human-centered Artificial Intelligence
- Human-Robot Interaction
- Interactive Smart Spaces
- Multimodal User Interfaces


Infrastructure for Sciences
o Systems of Systems architectures
o Distributed and fault-tolerant computing platforms
o Distributed and efficient multi-platform storage solutions
o Elastic, scalable and cross-platform data analytics
o FAIR data management
o Collaborative and social computing systems
o Virtual Research Environments and Science Gateway
o Scientometrics
o Scientific Knowledge Graphs
o Computational reproducibility and provenance in scientific workflows
o Scientific publishing
o Open Science
o Knowledge Representation and Reasoning
o Statistical Relational Learning
o Intelligent Integration and Access to Data
o Recommender systems


ARTIFICIAL INTELLIGENCE FOR MEDIA AND HUMANITIES

- Automatic Text Classification
- Natural Language Processing and Text Mining
- Sentiment Analysis
- Multimedia Information Retrieval
- Computer Vision
- Similarity Search
- Extended Reality
- Machine Learning
- Deep Learning
- Artificial Intelligence
- Semantic Web technologies
- Formal narratives in Digital Humanities


KNOWLEDGE DISCOVERY AND DATA MINING LABORATORY

- Analytical Platforms & Data infrastructures for Social Mining
- Big Data Analytics & Social Mining
- Data Mining Algorithms and Statistical Methods
- Ethics-sensitive and Privacy-aware Data Mining
- Mobility Data Mining
- Social Network Analysis
- Social Sensing & Semantic Enrichment of Big Data
- Visual Analytics


HIGH PERFORMANCE COMPUTING LABORATORY

- Highly-distributed systems
- Information Retrieval
- Green artificial intelligence
- Analysis and enrichment of mobility data
- Large-scale information systems
- Edge computing


SIGNALS & IMAGES LABORATORY

- Computer vision
- Artificial intelligence & intelligent systems
- Statistical signal processing
- Topological data analysis
- Human-computer interaction
- Inclusion & Accessibility
- Biomedical image and signal processing & radiomics
- Computational biology
- Smart cameras and pervasive vision
- Remote sensing and Earth observation
- Intelligent and sustainable buildings


VISUAL COMPUTING LABORATORY

- 3D Digitization
- 3D Printing Technologies
- Applications to Cultural Heritage
- Interactive 3D Graphics
- Reconstruction from Sampled Dataset
- Scientific Visualization
- Web-based Visualization and Mobile Platforms


MECHANICS OF MATERIALS AND STRUCTURES LABORATORY

- Computational Solid Mechanics
- Mechanics of Masonry Structures
- Structural Health Monitoring


SPACE FLIGHT DYNAMICS LABORATORY

- Astrodynamics
- Satellite Re-Entry Predictions
- Space Debris Modeling, Mitigation and Remediation
- Space Mission Analysis, Design and Operational Support
- Space Experiments on Fundamental Physics