Sul programma di formazione
Modelli, metodi e algoritmi di progettazione, analisi, trasformazione, verifica e test di programmi e sistemi software. Modelli, metodi, architetture, algoritmi, linguaggi e strumenti software per l'organizzazione dell'interazione tra programmi e sistemi software. Sistemi intelligenti di machine learning, database e knowledge management, strumenti di sviluppo di prodotti digitali. Sistemi software di calcolo simbolico. Sistemi operativi. Modelli e metodi di creazione di programmi e sistemi software per l'elaborazione parallela e distribuita dei dati, linguaggi e strumenti di programmazione parallela