Nicola Fausto Spoto

Fausto Spoto,  October 10, 2017
Position
Associate Professor
Academic sector
INF/01 - INFORMATICS
Office
Ca' Vignal 2,  Floor 1,  Room 90
Telephone
+39 045 8027940
Fax
+39 045 8027068
E-mail
fausto|spoto*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~spoto

Office Hours

Wednesday, Hours 11:30 AM - 12:30 PM,   Ca' Vignal 2, floor 1, room 90
Wednesday, Hours 3:30 PM - 5:00 PM,   Ca' Vignal 2, floor 1, room 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.

Modules

Modules running in the period selected: 60.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Bioinformatics Introduction to Programming (2017/2018)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I
Bachelor's degree in Computer Science Programming II and Software Engineering (2017/2018)   12  eLearning PROGRAMMAZIONE II
Master I in Computer Game Development Fundamentals of Software Engineering (2017/2018)   2   
Master's degree in Computer Science and Engineering Automated System Verification (2016/2017)   6   
Bachelor's degree in Computer Science Programming II and Software Engineering (2016/2017)   12  eLearning PROGRAMMAZIONE II
Master's degree in Computer Science and Engineering Automated System Verification (2015/2016)   6   
Bachelor's degree in Computer Science Programming II (2015/2016)   6    (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Languages and compilers (2014/2015)   12  eLearning COMPILATORI
Bachelor's degree in Computer Science Programming II (2014/2015)   6    (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I (2013/2014)   12    (Teoria)
Bachelor's degree in Computer Science Programming II (2013/2014)   6    (Laboratorio)
(Teoria)
Bachelor's degree in Computer Science Programming I (2012/2013)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Programming II (2012/2013)   6    (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I (2011/2012)   12    (Teoria)
Bachelor's degree in Computer Science Programming II (2011/2012)   6    (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I (2009/2010)   12    (Teoria)
(Laboratorio)
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2008/2009)   5    Teoria
Laboratorio
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [I semestre] (2008/2009)   3   
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Introduction to Programming (2008/2009)   12    Laboratorio
Teoria
Degree in Foreign Languages and Literatures Applied Information Technology (2007/2008)   3     
Degree in International Business Studies (Vicenza) (until 2008-2009) Basic Information Technology Skills (2007/2008)   2   
Bachelor's degree in Business Administration (category 17) (until 2008-2009) Basic Information Technology Skills (2007/2008)   2   
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2007/2008)   5    Teoria
Laboratorio
Bachelor's degree in Sport and Exercise Science (until 2005-2006) Information Technology (2007/2008)   5  eLearning
Degree in Foreign Languages and Literatures Information Technology (2007/2008)   3     
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Introduction to Programming (2007/2008)   12    Laboratorio
Teoria
Bachelor's degree in Business Administration (category 17) (until 2008-2009) Basic Information Technology Skills (2006/2007)   2   
Degree in International Business Studies (Vicenza) (until 2008-2009) Basic Information Technology Skills (2006/2007)   2   
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2006/2007)   5   
Bachelor's degree in Sport and Exercise Science (until 2005-2006) Information Technology (2006/2007)   5   
Degree in Foreign Languages and Literatures Information Technology (2006/2007)   3     
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Introduction to Programming (2006/2007)   12    Teoria
Bachelor's degree in Business Administration (category 17) (until 2008-2009) Basic Information Technology Skills (2005/2006)   2   
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2005/2006)   5   
Bachelor's degree in Sport and Exercise Science (until 2005-2006) Information Technology (2005/2006)   5   
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Introduction to Programming (2005/2006)   12    Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2004/2005)   5     
Masters in Computer Science Functional Languages (2004/2005)   5     
Bachelor's degree in Sport and Exercise Science (until 2005-2006) Information Technology (2004/2005)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Sezione A] (2004/2005)   12      Laboratorio
Bachelor's degree in Company Economics (cat. 17) Basic Information Technology Skills (2003/2004)   3     
Bachelor in Public Administration Economics and Management Basic Information Technology Skills (2003/2004)   3     
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2003/2004)   5     
Masters in Computer Science Programming Languages and Special Techniques (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Compilers (2002/2003)   5     
Masters in Computer Science Programming Languages and Special Techniques (2002/2003)   5     
Bachelor in Computer Science (old system) Compilers (2001/2002)   1     
Bachelor in Computer Science (old system) Programming Languages (2001/2002)   1     
Bachelor in Computer Science (until 2008-2009 academic year) Programming Languages and Compilers (2001/2002)   10     

 

Research groups

SPY
Skills
Topic Description Research area
Static Analysis Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Informatica teorica
Theory of computation - Semantics and reasoning
Projects
Title Starting date
La messa a punto di Strumenti innovativi per la ricerca semantica 7/1/15
Analisi e sviluppo di tecniche di analisi semantica di codice Java industriale 7/1/15
Sistema Software di Pianoforte Virtuale su Tablet PC 2/5/15
Studio e sperimentazione RIA (Rich Internet Application) per soluzioni web e mobile-RIA 1/16/15
TRENDS - Technologies and Resources for Exploiting interNet Documents and Social media - Joint Projects 2014 1/1/15
Static analysis methods for the static derivation 6/5/13
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) 2/18/13
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning 6/1/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) 7/15/11
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 9/22/08
Modelli e metodi per la verifica composizionale (PRIN 2006) 2/9/07
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 11/30/04
Abstract interpretation and model checking for the verification of embedded systems 2/21/03
(CoVer) Constraint-based Verification of Reactive systems 12/1/02
Abstract Interpretation, type systems and control-flow analysis 11/26/00