Tiziano Villa

Foto di Tiziano Villa,  April 22, 2013
Position
Full Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Office
Ca' Vignal 2,  Floor 1,  Room 77
Telephone
+39 045 802 7034
Fax
+39 045 802 7068
E-mail
tiziano|villa*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Su appuntamento da stabilire tramite posta elettronica. Presso lo studio del docente.

Curriculum

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2017/2018)   12    (Teoria)
Master's degree in Computer Science and Engineering System theory (2017/2018)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2016/2017)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering System theory (2016/2017)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2015/2016)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering System theory (2015/2016)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2014/2015)   12    (Teoria)
Master's degree in Computer Science and Engineering System theory (2014/2015)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2013/2014)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering System theory (2013/2014)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2012/2013)   12    (Teoria)
Master's degree in Computer Science and Engineering System theory (2012/2013)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2011/2012)   12    (Teoria)
Master's degree in Computer Science and Engineering System theory (2011/2012)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2010/2011)   12    (Teoria)
Master's degree in Computer Science and Engineering System theory (2010/2011)   12    SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2009/2010)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering System theory (2009/2010)   12    METODI DI SPECIFICA
Masters in Computer Science Electronic Design Automation (2008/2009)   5    Teoria
Laboratorio
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2008/2009)   6    Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2008/2009)   5    Teoria
Laboratorio
Masters in Computer Science Electronic Design Automation (2007/2008)   5    Teoria
Laboratorio
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2007/2008)   6    Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2007/2008)   5    Teoria
Laboratorio
Masters in Computer Science Electronic Design Automation (2006/2007)   5   
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2006/2007)   5   

 

Research groups

Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
Skills
Topic Description Research area
Basic CAD algorithms Definition of basic algorithms for the design of electronic systems, with particular emphasis on: - Synthesis of sequential and combinational systems - Discrete event systems - Physical design Sistemi ciberfisici
Hardware - Electronic design automation
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Sistemi ciberfisici
Hardware - Hardware validation
Projects
Title Starting date
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 8/23/11
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009) 7/15/11
Strumenti di sintesi di controllori per automazione industriale 4/1/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 1/27/10
C4C - Control for Coordination of Distributed Systems 5/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08