Fornisce allo studente conoscenze avanzate per la progettazione e realizzazione di sistemi informatici concorrenti, distribuiti e mobili.
Viene dato particolare rilievo allo studio dei modelli per l’analisi dei problemi in tale ambito, dei linguaggi di programmazione più opportuni per l’implementazione delle corrispondenti soluzioni, e dei metodi formali per la verifica della rispondenza del software ai requisiti.

Gli sbocchi occupazionali specifici del laureato magistrale in questo percorso sono tutti i ruoli connessi alla progettazione e realizzazione di servizi web, cloud e peer-to-peer, così pervasivi in tutti gli ambiti applicativi. Un’altra area di impiego riguarda i ruoli di verifica e certificazione del software, con metodi di analisi automatici o semiautomatici.

Insegnamenti obbligatori di percorso (24 CFU):

• Analisi e verifica mediante interpretazione astratta 6 1 INF/01
• Sistemi Distribuiti 9 1 INF/01
• Semantica e concorrenza 9 2 INF/01