Sul programma di formazione
Modelli, metodi e algoritmi di progettazione, analisi, trasformazione, verifica e test di programmi e sistemi software; Linguaggi di programmazione e sistemi di programmazione, semantica dei programmi; Modelli, metodi, architetture, algoritmi, linguaggi e strumenti software per l'organizzazione dell'interazione tra programmi e sistemi software; Sistemi intelligenti di machine learning, gestione di database e conoscenza, strumenti per lo sviluppo di prodotti digitali; Sistemi software di calcolo simbolico; Sistemi operativi; Modelli, metodi, algoritmi, tecnologie cloud e infrastruttura software di un'organizzazione di elaborazione dati distribuita globalmente, ecc.