Tiziano Villa

Foto di Tiziano Villa,  22 aprile 2013
Qualifica
Professore ordinario
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 77
Telefono
+39 045 802 7034
Fax
+39 045 802 7068
E-mail
tiziano|villa*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 36.
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 Elementi di architettura e sistemi operativi (2016/2017)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2016/2017)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2016/2017)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2015/2016)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2015/2016)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2015/2016)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2014/2015)   12    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2014/2015)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2014/2015)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2013/2014)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2013/2014)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2013/2014)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2012/2013)   12    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2012/2013)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2012/2013)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2011/2012)   12    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2011/2012)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2011/2012)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2010/2011)   12    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2010/2011)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2010/2011)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2009/2010)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2009/2010)   12    METODI DI SPECIFICA
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2009/2010)   6  eLearning
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2008/2009)   6    Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2008/2009)   5    Teoria
Laboratorio
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2008/2009)   5    Teoria
Laboratorio
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2007/2008)   6    Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2007/2008)   5    Teoria
Laboratorio
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2007/2008)   5    Teoria
Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2006/2007)   5   
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2006/2007)   5   

 

Gruppi di ricerca

Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
Competenze
Argomento Descrizione Area di ricerca
Algoritmi CAD di base Realizzazione di algoritmi di base per la progettazione di sistemi elettronici, con particolare attenzione a: - sintesi di sistemi combinatori e sequenziali - sistemi a eventi discreti - progettazione fisica Sistemi ciberfisici
Hardware - Electronic design automation
Verifica di sistemi embedded Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Sistemi ciberfisici
Hardware - Hardware validation
Progetti
Titolo Data inizio
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 23/08/11
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009) 15/07/11
Strumenti di sintesi di controllori per automazione industriale 01/04/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 27/01/10
C4C - Control for Coordination of Distributed Systems 01/05/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08




Organizzazione

Strutture del dipartimento