Stefano Centomo

Foto Centomo,  October 11, 2017
Temporary Professor
Academic sector
045 802(7048)
stefano|centomo*univr|it <== Replace | with . and * with @ to have the right email address.


Modules running in the period selected: 4.
Click on the module to see the timetable and course details.


Research groups

Electronic Systems Design (ESD)
The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
ForMe - Formal Method for the Design of Engineering Systems
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.
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.
Title Starting date
Extension of BOX-IO through AI techniques and integration of Bluetooth LowEnergy devices 1/1/21

Other positions held
Stefano Centomo
Office Collegial Body
member Computer Science Teaching Committee - Department Computer Science


Department facilities