Tiziano Villa

Foto di Tiziano Villa,  22 aprile 2013
Qualifica
Incaricato alla ricerca
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
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: 61.
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 (2023/2024)   9  eLearning
Laurea in Informatica Sistemi operativi (2023/2024)   12  eLearning (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2023/2024)   6  eLearning
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2022/2023)   9  eLearning
Laurea in Bioinformatica Elementi di architettura (2022/2023)   6  eLearning (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2022/2023)   6  eLearning
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2021/2022)   9  eLearning
Laurea in Bioinformatica Elementi di architettura (2021/2022)   6  eLearning (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2021/2022)   6  eLearning
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2020/2021)   9  eLearning
Laurea in Bioinformatica Elementi di architettura (2020/2021)   6  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2020/2021)   6  eLearning
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2019/2020)   12  eLearning (Teoria mod. 2)
(Teoria mod. 1)
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    (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   
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   
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2013/2014)   12    (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   
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   
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   
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   
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2009/2010)   12    (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   
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    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   

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
INdAM - Unità di Ricerca dell'Università di Verona
Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
NeST
Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
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

Condividi