CISD Group

Research Areas

53 related publications

PARCO lab

The aim of the research group is the development and optimization of Software targeting multi-core CPU/many-core GPUs for resource constrained computing platform (e.g., Edge Computing) and for High-performance Computing (HPC) platforms.

57 related publications

Electronic Systems Design (ESD)

The ESD area applies Electronic Design Automation (EDA) techniques to Cyber- Physical Production Systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis, and testing of production lines.

12 related publications

Formal Methods for Engineering (ForME)

The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.

70 related publications

Networked Systems and Technologies

Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.

20 related publications

Internet of Things 4 Care

The IoT4Care research group works on the design and validation of systems to promote the well-being and health of people through technologies related to the Internet of Things (IoT) such as, for example, environmental sensors and actuators, wearable devices, and smart objects in general. These systems are designed, in particular, for monitoring, coaching, and remote rehabilitation of the elderly and people suffering from acute and chronic neurological diseases such as, for example, stroke, Parkinson's, and neuropathies. The group is composed of an interdisciplinary team that includes engineers, computer scientists, medical doctors, and psychologists from the departments of Computer Science and Neuroscience, Biomedicine, and Movement. IoT4Care Research Group on IoT systems for healthcare and wellbeing at CS Department of UNIVR Telegram Channel: https://t.me/iot4care

Cookies disclaimer

Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.