Nicola Fausto Spoto

Fausto Spoto,  10 ottobre 2017
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 90
Telefono
+39 045 8027940
Fax
+39 045 8027068
E-mail
fausto|spoto*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~spoto

Orario di ricevimento

mercoledì, Ore 11.30 - 12.30,   Ca' Vignal 2, piano 1, stanza 90
mercoledì, Ore 15.30 - 17.00,   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.
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: 59.
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 (2017/2018)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I
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    (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2015/2016)   6   
Laurea in Informatica Linguaggi e compilatori (2014/2015)   12  eLearning COMPILATORI
Laurea in Informatica Programmazione II (2014/2015)   6    (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione I (2013/2014)   12    (Teoria)
Laurea in Informatica Programmazione II (2013/2014)   6    (Laboratorio)
(Teoria)
Laurea in Informatica Programmazione I (2012/2013)   12  eLearning (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    (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione I (2009/2010)   12    (Teoria)
(Laboratorio)
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2008/2009)   5    Teoria
Laboratorio
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    Laboratorio
Teoria
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 Economia aziendale (classe 17) (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    Teoria
Laboratorio
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2007/2008)   5  eLearning
Laurea in Lingue e letterature straniere - ordinamento fino all'A.A. 2007/2008 (disattivato) Informatica (2007/2008)   3     
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    Laboratorio
Teoria
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2006/2007)   2   
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 Informatica (ordinamento fino all'a.a. 2008/09) Compilatori (2006/2007)   5   
Laurea in Scienze delle Attività Motorie e Sportive - ordinamento fino all'a.a. 2005/2006 Informatica (2006/2007)   5   
Laurea in Lingue e letterature straniere - ordinamento fino all'A.A. 2007/2008 (disattivato) Informatica (2006/2007)   3     
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 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     

 

Gruppi di ricerca

SPY
Competenze
Argomento Descrizione Area di ricerca
Semantics Studio di tecniche di analisi e verifica di programmi a oggetti e di basso livello, al fine dell'identificazione automatica di errori e di problemi di sicurezza. Informatica teorica
Theory of computation - Semantics and reasoning
Static Analysis Studio di tecniche di analisi statica per linguaggi a oggetti e di basso livello. 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 and its engineering - Software organization and properties
Progetti
Titolo Data inizio
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
TRENDS - Technologies and Resources for Exploiting interNet Documents and Social media - Joint Projects 2014 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