LAUREA MAGISTRALE IN INFORMATICA

LINGUAGGI E SISTEMI CONCORRENTI E DISTRIBUITI

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.

Completa il percorso scegliendo insegnamenti per 18 CFU tra quelli offerti dal corso di studi. A titolo di esempio, ti suggeriamo i seguenti insegnamenti: