Stefano Centomo

Foto Centomo,  11 ottobre 2017
Qualifica
Dottorando
Iscritto
Dottorato in Informatica - 33° ciclo (1 ottobre 2017 - 30 settembre 2020)
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Telefono
045 802(7048)
E-mail
stefano|centomo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 4.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

 

Gruppi di ricerca

ESD - Electronic Systems Design
Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione.
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
NeST
Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
Progetti
Titolo Data inizio
Estensione della piattaforma BOX-IO con tecniche di AI e integrazione di dispositivi Bluetooth LowEnergy 01/01/21





Altri incarichi
Stefano Centomo
Carica Organo collegiale
componente Collegio Didattico di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento