Nicola Fausto Spoto

  1. Home
  2. Dipartimento
  3. Persone
  4. Nicola Fausto Spoto
Fausto Spoto, 23 settembre 2024
Qualifica
Professore associato
Ruolo
Professore Associato
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 90
Telefono
+39 045 802 7940
E-mail
fausto|spoto*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

mercoledì, Ore 14.30 - 15.30,   Ca' Vignal 2, piano 1, stanza 90
venerdì, Ore 17.30 - 18.30,   Ca' Vignal 2, piano 1, stanza 90

Curriculum
  • pdf   CURR_ENG   (pdf, en, 232 KB, 02/09/25)
  • pdf   CURR_ITA   (pdf, it, 194 KB, 02/09/25)

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.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 95.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Bioinformatica Programmazione (2025/2026)   12  eLearning 1  LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni 2)
3  PROGRAMMAZIONE PER BIOINFORMATICA (Teoria 2)
2  LABORATORIO DI PROGRAMMAZIONE I (Laboratorio 2)
Laurea in Informatica Programmazione I [Matricole pari] (2025/2026)   12  eLearning 3  (Teoria 2)
1  (Esercitazioni 2)
2  (Laboratorio 2)
Dottorato in Informatica Introduction to Blockchain (2024/2025)   3    3 
Laurea in Bioinformatica [L-31] Programmazione (2024/2025)   12  eLearning 2  LABORATORIO DI PROGRAMMAZIONE I (Laboratorio 1)
3  PROGRAMMAZIONE PER BIOINFORMATICA (Teoria 1)
1  LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni 1)
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2024/2025)   12  eLearning 2  PROGRAMMAZIONE II (Laboratorio)
4  PROGRAMMAZIONE II (Teoria)
Laurea in Bioinformatica [L-31] Programmazione (2023/2024)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2023/2024)   12  eLearning 4  PROGRAMMAZIONE II (Teoria)
2  PROGRAMMAZIONE II (Laboratorio)
Laurea in Bioinformatica [L-31] Programmazione (2022/2023)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2022/2023)   12  eLearning 4  PROGRAMMAZIONE II (Teoria)
2  PROGRAMMAZIONE II (Laboratorio)
Laurea in Bioinformatica [L-31] Programmazione (2021/2022)   12  eLearning 3  LABORATORIO DI PROGRAMMAZIONE I
6  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2021/2022)   12  eLearning 4  PROGRAMMAZIONE II (Teoria)
2  PROGRAMMAZIONE II (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Minicorso Blockchain (2020/2021)   3    3 
Laurea in Bioinformatica [L-31] Programmazione (2020/2021)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
3  LABORATORIO DI PROGRAMMAZIONE I
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2020/2021)   12  eLearning 2  PROGRAMMAZIONE II (Laboratorio)
4  PROGRAMMAZIONE II (Teoria)
Laurea in Bioinformatica [L-31] Programmazione (2019/2020)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
3  LABORATORIO DI PROGRAMMAZIONE I
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2019/2020)   12  eLearning 2  PROGRAMMAZIONE II (Laboratorio)
4  PROGRAMMAZIONE II (Teoria)
Laurea in Bioinformatica [L-31] Programmazione (2018/2019)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
3  LABORATORIO DI PROGRAMMAZIONE I
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2018/2019)   12  eLearning 4  PROGRAMMAZIONE II (Teoria)
2  PROGRAMMAZIONE II (Laboratorio)
Master in Computer game development Fundamentals of Software Engineering (2017/2018)   2    2 
Laurea in Bioinformatica [L-31] Programmazione (2017/2018)   12  eLearning 3  LABORATORIO DI PROGRAMMAZIONE I
3  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2017/2018)   12  eLearning 6  PROGRAMMAZIONE II
Laurea in Informatica [L-31] Programmazione II e ingegneria del software (2016/2017)   12  eLearning 6  PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Verifica automatica di sistemi (2016/2017)   6    6 
Laurea in Informatica [L-31] Programmazione II (2015/2016)   6    2  (Laboratorio)
4  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Verifica automatica di sistemi (2015/2016)   6    2 
Laurea in Informatica [L-31] Linguaggi e compilatori (2014/2015)   12    6  COMPILATORI
Laurea in Informatica [L-31] Programmazione II (2014/2015)   6    4  (Teoria)
2  (Laboratorio)
Laurea in Informatica [L-31] Programmazione I (2013/2014)   12    8  (Teoria)
Laurea in Informatica [L-31] Programmazione II (2013/2014)   6    4  (Teoria)
2  (Laboratorio)
Laurea in Informatica [L-31] Programmazione I (2012/2013)   12    8  (Teoria)
Laurea in Informatica [L-31] Programmazione II (2012/2013)   6    2  (Laboratorio)
4  (Teoria)
Laurea in Informatica [L-31] Programmazione I (2011/2012)   12    8  (Teoria)
Laurea in Informatica [L-31] Programmazione II (2011/2012)   6    2  (Laboratorio)
4  (Teoria)
Laurea in Informatica [L-31] Programmazione I (2009/2010)   12    4  (Laboratorio)
8  (Teoria)
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Lingue e culture per il turismo e il commercio internazionale [L-12] Informatica [I semestre] (2008/2009)   3    3 
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   12    8  Teoria
4  Laboratorio
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2007/2008)   2    2 
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2007/2008)   2    2 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2007/2008)   5    1  Laboratorio
4  Teoria
Laurea in Lingue e letterature straniere - ordinamento fino all'A.A. 2007/2008 (disattivato) Informatica (2007/2008)   3     
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2007/2008)   5    2 
Laurea in Lingue e letterature straniere - ordinamento fino all'A.A. 2007/2008 (disattivato) Informatica applicata (2007/2008)   3     
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   12    4  Laboratorio
8  Teoria
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2006/2007)   2    2 
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2006/2007)   2    2 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2006/2007)   5    5 
Laurea in Lingue e letterature straniere - ordinamento fino all'A.A. 2007/2008 (disattivato) Informatica (2006/2007)   3     
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2006/2007)   5    2 
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   12    8  Teoria
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2005/2006)   2    2 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2005/2006)   5    5 
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2005/2006)   5    2 
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   12    8  Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2004/2005)   5     
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2004/2005)   5     
Laurea specialistica in Informatica Linguaggi funzionali (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Sezione A] (2004/2005)   12      Laboratorio
Laurea in Economia aziendale (a esaurimento) Classe 17 Abilità informatiche di base (2003/2004)   3     
Laurea in Economia e Gestione delle Amministrazioni pubbliche (Classe 17) Abilità informatiche di base (2003/2004)   3     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2003/2004)   5     
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2002/2003)   5     
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2002/2003)   5     
Laurea in Informatica (vecchio ordinamento) Compilatori (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Linguaggi di programmazione (2001/2002)   1     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Linguaggi di programmazione e compilatori (2001/2002)   10     

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.

Gruppi di ricerca

Blockchain
L'attività del gruppo di ricerca riguarda diverse tematiche relative allo sviluppo e all'applicazione della tecnologia blockchain e dell'infrastruttura degli smart contracts.
SPY
Competenze
Argomento Descrizione Area di ricerca
Analisi statica di programmi Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Ingegneria del Software e Verifica Formale
Automated static analysis
Blockchain e smart contracts Progettazione di smart contracts e applicazioni basate su blockchain. Ingegneria del Software e Verifica Formale
Software creation and management
Semantica di programmi Studio di tecniche e modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Ingegneria del Software e Verifica Formale
Semantics and reasoning
Progetti
Titolo Data inizio
In search of evidence of stealth cyber threats - COVERT 01/06/24
Organizzazione di eventi divulgativi rivolti alle PMI del Veneto e realizzazione di contenuti digitali 01/09/23
Studio e formalizzazione di un algoritmo per il calcolo dinamico del prezzo di noleggio dei veicoli 28/07/23
Studio e implementazione di una soluzione software in Go verificata per gestione di identità SPID 20/04/22
Audit Colony 01/11/21
SafePKT 01/07/21
Studio e documentazione del framework di sviluppo Cosmos SDK per la programmazione di reti blockchain 01/10/20
Integrazione del linguaggio Takamaka di programmazione di smart contract in Java con la blockchain Takamaka e sua documentazione per l’utente 16/06/20
Implementazione di un framework di programmazione in Java per contratti digitali 01/01/19
Sviluppo di tecniche di analisi semantica di codice Java 01/07/17
La messa a punto di Strumenti innovativi per la ricerca semantica 01/07/15
Analisi e sviluppo di tecniche di analisi semantica di codice Java industriale 01/07/15
Sistema Software di Pianoforte Virtuale su Tablet PC 05/02/15
Studio e sperimentazione RIA (Rich Internet Application) per soluzioni web e mobile-RIA 16/01/15
JP2014 - TRENDS - Tecnologie e Risorse per sfruttare i documenti InterNet e i Social media 01/01/15
Analisi statica per Applicazioni Android Affidabili 05/06/13
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) 18/02/13
Analisi, verifica e sintesi di sistemi software/hardware mediante l'impiego sinergico di interpretazione astratta e ragionamento automatico (PRIN 2010-11 non finanziato) 01/06/12
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato) 15/07/11
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 22/09/08
Modelli e metodi per la verifica composizionale (PRIN 2006) 09/02/07
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 30/11/04
Interpretazione astratta e model checking per la verifica di sistemi embedded 21/02/03
(CoVer) Constraint-based Verification of Reactive systems 01/12/02
Abstract Interpretation, type systems and control-flow analysis 26/11/00



Organizzazione

Strutture del dipartimento

Condividi