Tiziano Villa

Foto di Tiziano Villa,  22 aprile 2013
Qualifica
Professore ordinario
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Settore di Ricerca (ERC)
PE6_1 - Computer architecture, pervasive computing, ubiquitous computing

PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

PE6_4 - Theoretical computer science, formal methods, and quantum computing

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.

Orario di ricevimento

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

Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 51.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2020/2021)   9   
Laurea in Bioinformatica Elementi di architettura (2020/2021)   6    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2020/2021)   6  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2019/2020)   12  eLearning (Teoria mod. 1)
(Teoria mod. 2)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2019/2020)   12  eLearning SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2018/2019)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2018/2019)   12  eLearning SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2018/2019)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2017/2018)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi (2017/2018)   12    SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2017/2018)   6  eLearning
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    Laboratorio
Teoria
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2008/2009)   5  eLearning Laboratorio
Teoria
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    Laboratorio
Teoria
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2007/2008)   5    Laboratorio
Teoria
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

INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
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
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 validation
Progetti
Titolo Data inizio
Metodi formali per la verifica e la sintesi di sistemi discreti e ibridi 05/02/18
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
TEMART - Tecnologie e materiali per la manifattura artistica i Beni Culturali l’arredo il decoro architettonico e urbano e il design del futuro 07/11/17
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