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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Master Universitario in Computer game development (I livello) Fundamentals of Software Engineering (2017/2018)   2   
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
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 and its engineering - 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
Theory of computation - Semantics and reasoning
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