Stefano Centomo

  1. Home
  2. Department
  3. People
  4. Stefano Centomo
Foto Centomo, October 11, 2017
E-mail
stefano|centomo*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 2023
Position
Temporary Professor

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2022/2023)   12  eLearning 2  (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2021/2022)   12  eLearning 2  (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2021/2022)   12    2  (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning 2  (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning 2  (Laboratorio)

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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 Methods 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.
Projects
Title Starting date
Extension of BOX-IO through AI techniques and integration of Bluetooth LowEnergy devices 1/1/21




Organization

Department facilities

Share