Tiziano Villa

Foto di Tiziano Villa,  April 22, 2013
Position
Full Professor
Disciplinary 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.

Insegnamenti

Risultano 36 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Design automation of embedded systems (2016/2017)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2016/2017)   12  eLearning (Teoria)
Department Computer Science  System theory (2016/2017)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2015/2016)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2015/2016)   12  eLearning (Teoria)
Department Computer Science  System theory (2015/2016)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2014/2015)   6  eLearning
Department Informatica  Introduction to computer architecture and operating systems (2014/2015)   12    (Teoria)
Department Computer Science  System theory (2014/2015)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2013/2014)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2013/2014)   12  eLearning (Teoria)
Department Computer Science  System theory (2013/2014)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2012/2013)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2012/2013)   12    (Teoria)
Department Computer Science  System theory (2012/2013)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2011/2012)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2011/2012)   12    (Teoria)
Department Computer Science  System theory (2011/2012)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2010/2011)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2010/2011)   12    (Teoria)
Department Computer Science  System theory (2010/2011)   12    SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2009/2010)   6  eLearning
Department Computer Science  Introduction to computer architecture and operating systems (2009/2010)   12  eLearning (Teoria)
Department Computer Science  System theory (2009/2010)   12    METODI DI SPECIFICA
Department Computer Science  Electronic Design Automation (2008/2009)   5    Teoria
Laboratorio
Department Computer Science  Introduction to operating systems (2008/2009)   6    Teoria
Department Computer Science  Real-time systems (2008/2009)   5    Teoria
Laboratorio
Department Computer Science  Electronic Design Automation (2007/2008)   5    Teoria
Laboratorio
Department Computer Science  Introduction to operating systems (2007/2008)   6    Teoria
Department Computer Science  Real-time systems (2007/2008)   5    Teoria
Laboratorio
Department Computer Science  Electronic Design Automation (2006/2007)   5   
Department Computer Science  Real-time systems (2006/2007)   5   

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 

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