Department of Engineering for Innovation Medicine · University of Verona
Cyber-Physical and IoT Systems Design
CISD brings together research groups at the Department of Engineering for Innovation Medicine of the University of Verona that address, with multi-domain knowledge, the design and verification of cyber-physical and IoT systems — from industrial IoT and smart manufacturing to parallel computing and healthcare.
News
Recent news
Publication
Multi-sensor soft labeling for human activity recognition at DATE 2026
Graziano Pravadelli and collaborators presented a multi-sensor approach to soft labeling for human activity recognition at DATE 2026.
Publication
Agentic AI for digital wellness at DATE 2026
Francesco Biondani, Franco Fummi and collaborators presented architectural challenges and perspectives for agentic AI in smart-home digital-wellness systems at DATE 2026.
Publication
Edge-cloud verification for robotic applications
A 2026 ACM TECS article by Nicola Bombieri, Graziano Pravadelli and collaborators studies edge-cloud orchestration of assertion-based monitors for robotic applications.
Groups
The CISD groups
ESD
Electronic Systems Design
Design automation for electronic and cyber-physical systems: languages, models and tools for modelling, verification, testing and optimisation, from circuit level to smart manufacturing.
PARCO
PARCO Lab
Parallel and heterogeneous computing: design and optimisation of software for multi-core CPUs and many-core GPUs, from resource-constrained edge devices to high-performance computing platforms.
IoT4Care
Internet of Things 4 Care
Internet of Things for care: systems that support well-being, health monitoring and rehabilitation through wearable devices, smart objects and ambient sensing.