Sul programma di formazione
Sistemi di intelligenza artificiale, matematica discreta e logica matematica, metodi computazionali, basi di programmazione, algoritmi e analisi della complessità, architettura dei sistemi computazionali, tecnologie dei database, reti informatiche, modellazione informatica, sistemi operativi, ingegneria del software, programmazione parallela, amministrazione dei sistemi informativi, programmazione funzionale e logica, linguaggi e sistemi orientati agli oggetti, teoria degli automi e dei linguaggi formali, basi teoriche dell'informatica, moderne tecnologie di programmazione, metodi di ottimizzazione e ricerca sulle operazioni