Competenze

WIRELESS NETWORKS LABORATORY

- Sensing and Assistive Spaces
- Communication Middleware for Context-Awareness
- Indoor Localization
- Mobile Social Computing
- Wireless Communications
- Sustainable and Digital Agriculture


FORMAL METHODS AND TOOLS LABORATORY

- Formal Methods
- Verification techniques and tools
- 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
- Formal Methods for Industrial Critical Systems
- Modeling and analysis of railway control systems
- Formal approaches to medical image analysis
- Formal modelling of business processes
- Security risk modelling and quantitative analysis
- Variability modelling and analysis
- Coordination Models and Languages
- Software development using Formal Methods


SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING

- Fault&Intrusion-tolerant architectures
- Efficient methods for stochastic modelling and analysis
- Resilience-Energy consumption trade-offs
- Design and testing of Systems of Systems (SoS)
- Analysis, testing and monitoring
- Scalable software regression testing
- Cyber-Security and Privacy
- Data Protection & Compliance
- Testing and assessment of Access and Usage Control system
- Human-centered development
- Quality assessment for Drones, Cobots and Industry 5.0


SYSTEM AND SOFTWARE EVALUATION LABORATORY

- Software product certification with respect to defined requirements and standards
- Software process assessment and improvement (with respect to standards as ISO/IEC33000, CMMI, Automotive SPICE, PISA model)
- Measurement and evaluation of quality attributes of software products
- System evaluation (Reliability prediction, Functional Safety, cybersecurity analysis, compliance to standards)
- Analysis and evaluation of natural language requirements
- Active participation in international standardization working groups on Software Engineering
- Application of the security standards to Spftware Architectures
- Support in adopting standards for email security and deliverability
- Implementation of Certified Electronic Email (Italian PEC) systems and Registered Email (REM - ETSI - EN 319 532-4) systems


HUMAN INTERFACES IN INFORMATION SYSTEMS LABORATORY

- Interactive Smart Spaces
- Tools for Accessibility and Usability Evaluation
- Human-Robot Interaction
- Assistive Technologies and Accessibility
- End User Development
- MultiModal User Interfaces
- Human-centered Artificial Intelligence

INFRASTRUCTURE FOR SCIENCES

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


ARTIFICIAL INTELLIGENCE FOR MEDIA AND HUMANITIES

- Image and Video Content Analysis and Classification
- Large Multimodal Models
- Bio-Inspired Machine Learning
- Object Detection, Recognition, Classification
- Learning to Quantify
- Neural Language Models
- Representation Learning for Text Classification
- Transfer Learning for Cross-Lingual/Cross-Media Classification
- Transductive Text Classification
- Authorship Analysis
- Technology-assisted Review
- Sentiment Classification
- Representing, Accessing, and ManagingTangible and Intangible Cuultural Heritage Data
- Ontologies for Digital Humanities
- Formal Representation of Narratives and Geospatial Data
- Multimedia Content Analysis for Cultural Heritage
- Multimedia Content Extraction and Representation
- Multimodal Multimedia Retrieval
- Access Methods for Similarity Search
- Extended reality


KNOWLEDGE DISCOVERY AND DATA MINING LABORATORY

- Mobility Analytics and Sustainability
- Applied Data Science and Visual Analytics
- Social Network Analysis and Network Science
- Ethical, Trustworthy and Transparent AI
- Analytical Platforms and Infrastructures for Social Mining


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
- Bio-inspired mathematical modelling of learning in complex neural networks
- Uncertainty quantification & probabilistic neural networks
- Topological data analysis
- Human-computer interaction
- Inclusion & Accessibility
- Biomedical image and signal processing & radiomics
- Computational biology
- Assistive technologies and Active Ageing
- Telemedicine and telecare
- Cultural heritage
- Pervasive vision for urban intelligence and sustainable mobility
- Sustainable & Precision Agriculture
- Remote sensing and Earth observation
- Hydroinformatics and Maritime Research
- Edutainment
- Intelligent and sustainable buildings, smart grids and energy communities


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 of Historic Buildings


SPACE FLIGHT DYNAMICS LABORATORY

- Space Debris
- Reentry Predictions
- Space Experiments on Fundamental Physics
- Astrodynamics