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.
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.
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.