Nicola Fausto Spoto

Curriculum

•   curriculum   (pdf, en, 4092 KB, 14/05/21)
•   curriculum (ita)   (pdf, it, 178 KB, 14/05/21)

Fausto Spoto si occupa di:

1. Analisi e verifica di software, in particolare di codice scritto in linguaggi a oggetti, finalizzata a inferire proprietà di correttezza e sicurezza del codice analizzato;
2. Sviluppo di strumenti di analisi statica, con particolare attenzione alla loro scalabilità, affidabilità e mantenibilità;
3. Ingegneria del software, specificamente di tecniche, strumenti e metodologie di programmazione;
4. Tecniche per lo sviluppo metodologico di applicazioni concorrenti e mobili, in particolare nei linguaggi Java e Android; primitive per la concorrenza, librerie concorrenti, modelli di sviluppo di codice Android affidabile;
5. Linguaggi e tecniche per lo sviluppo e l'analisi di smart contract per blockchain.

Le sue pubblicazioni vertono principalmente nell'ambito dell'analisi statica e dell'ingegneria del software.
Le sue competenze si rivolgono a società che sviluppano software, di dimensione medio-grande, interessate alla progettazione e implementazione di applicazioni complesse, anche in ambito mobile e concorrente, con metodologie e tecniche che ne aumentino la qualità ingegneristica e la correttezza.

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti

Presidente

• Commissione Spin off DI