Nicola Fausto Spoto

Fausto Spoto,  10 ottobre 2017
Qualifica
Professore associato
Ruolo
Professore Associato
Settore disciplinare
INF/01 - INFORMATICA
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 8027940
E-mail
fausto|spoto*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

mercoledì, Ore 10.30 - 11.30,   Ca' Vignal 2, piano 1, stanza 90
mercoledì, Ore 15.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 90

Curriculum

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: 86.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dottorato in Informatica Introduction to Blockchain (2024/2025)   3   
Laurea in Bioinformatica Programmazione (2023/2024)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2023/2024)   12  eLearning PROGRAMMAZIONE II (Laboratorio)
PROGRAMMAZIONE II (Teoria)
Laurea in Bioinformatica Programmazione (2022/2023)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2022/2023)   12  eLearning PROGRAMMAZIONE II (Teoria)
PROGRAMMAZIONE II (Laboratorio)
Laurea in Bioinformatica Programmazione (2021/2022)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2021/2022)   12  eLearning PROGRAMMAZIONE II (Teoria)
PROGRAMMAZIONE II (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Minicorso Blockchain (2020/2021)   3   
Dottorato in Informatica Minicorso Blockchain (2020/2021)   8   
Laurea in Bioinformatica Programmazione (2020/2021)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2020/2021)   12  eLearning PROGRAMMAZIONE II (Laboratorio)
PROGRAMMAZIONE II (Teoria)
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea in Bioinformatica Programmazione (2019/2020)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2019/2020)   12  eLearning PROGRAMMAZIONE II (Teoria)
PROGRAMMAZIONE II (Laboratorio)
Laurea in Bioinformatica Programmazione (2018/2019)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2018/2019)   12  eLearning PROGRAMMAZIONE II (Laboratorio)
PROGRAMMAZIONE II (Teoria)
Master in Computer game development Fundamentals of Software Engineering (2017/2018)   2   
Laurea in Bioinformatica Programmazione (2017/2018)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Informatica Programmazione II e ingegneria del software (2017/2018)   12  eLearning PROGRAMMAZIONE II
Laurea in Informatica Programmazione II e ingegneria del software (2016/2017)   12  eLearning PROGRAMMAZIONE II
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2016/2017)   6   
Laurea in Informatica Programmazione II (2015/2016)   6    (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2015/2016)   6   
Laurea in Informatica Linguaggi e compilatori (2014/2015)   12    COMPILATORI
Laurea in Informatica Programmazione II (2014/2015)   6    (Laboratorio)
(Teoria)
Laurea in Informatica Programmazione I (2013/2014)   12    (Teoria)
Laurea in Informatica Programmazione II (2013/2014)   6    (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione I (2012/2013)   12    (Teoria)
Laurea in Informatica Programmazione II (2012/2013)   6    (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione I (2011/2012)   12    (Teoria)
Laurea in Informatica Programmazione II (2011/2012)   6    (Laboratorio)
(Teoria)
Laurea in Informatica Programmazione I (2009/2010)   12    (Teoria)
(Laboratorio)
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2008/2009)   5    Laboratorio
Teoria
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [I semestre] (2008/2009)   3   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   12    Teoria
Laboratorio
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2007/2008)   2   
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2007/2008)   2   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2007/2008)   5    Laboratorio
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   
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    Teoria
Laboratorio
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2006/2007)   2   
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2006/2007)   2   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2006/2007)   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   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   12    Teoria
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2005/2006)   2   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2005/2006)   5   
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2005/2006)   5   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   12    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 e Gestione delle Amministrazioni pubbliche (Classe 17) Abilità informatiche di base (2003/2004)   3     
Laurea in Economia aziendale (a esaurimento) 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     

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 a breve anche tramite l'app Univr.

MyUnivr
 

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 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 Sicurezza
Software organization and properties
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Informatica teorica
Semantics and reasoning
Progetti
Titolo Data inizio
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