Tiziano Villa

  1. Home
  2. Dipartimento
  3. Persone
  4. Tiziano Villa
Foto di Tiziano Villa, 22 aprile 2013
Qualifica
Professore a contratto
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Settore di Ricerca (ERC-2024)
PE6_1 - Computer architecture, embedded systems, operating systems

PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

PE6_4 - Theoretical computer science, formal methods, automata

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: 66.
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 Informatica Elementi di architettura e sistemi operativi (2025/2026)   12  eLearning 1  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Esercitazioni)
1,5  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Teoria)
1  ELEMENTI DI ARCHITETTURA [Matricole pari] (Esercitazioni)
1,5  ELEMENTI DI ARCHITETTURA [Matricole pari] (Teoria)
Laurea in Informatica [L-31] Elementi di architettura e sistemi operativi (2024/2025)   12  eLearning 3  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Teoria)
2  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Esercitazioni)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2023/2024)   9  eLearning 9 
Laurea in Informatica [L-31] Sistemi operativi (2023/2024)   12  eLearning 8  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2023/2024)   6  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2022/2023)   9  eLearning 9 
Laurea in Bioinformatica [L-31] Elementi di architettura (2022/2023)   6  eLearning 5  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2022/2023)   6  eLearning 4 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2021/2022)   9  eLearning 9 
Laurea in Bioinformatica [L-31] Elementi di architettura (2021/2022)   6  eLearning 5  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2021/2022)   6  eLearning 2 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Discrete event and hybrid systems (2020/2021)   9  eLearning 9 
Laurea in Bioinformatica [L-31] Elementi di architettura (2020/2021)   6  eLearning 5  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2020/2021)   6  eLearning 2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2019/2020)   12  eLearning 3  (Teoria mod. 2)
6  (Teoria mod. 1)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2019/2020)   12  eLearning 6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2019/2020)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2018/2019)   12  eLearning 9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2018/2019)   12  eLearning 6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2018/2019)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2017/2018)   12  eLearning 9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2017/2018)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2017/2018)   6  eLearning 2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2016/2017)   12  eLearning 9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2016/2017)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2016/2017)   6  eLearning 2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2015/2016)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2015/2016)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2015/2016)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2014/2015)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2014/2015)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2014/2015)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2013/2014)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2013/2014)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2013/2014)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2012/2013)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2012/2013)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2012/2013)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2011/2012)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2011/2012)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2011/2012)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2010/2011)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2010/2011)   12    6  SISTEMI A EVENTI DISCRETI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2010/2011)   6    2 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2009/2010)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi (2009/2010)   12    4  METODI DI SPECIFICA
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2009/2010)   6    2 
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2008/2009)   6    4  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2007/2008)   6    4  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2007/2008)   5    1  Laboratorio
4  Teoria
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2007/2008)   5    1  Laboratorio
4  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi a tempo reale (2006/2007)   5    5 
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2006/2007)   5    5 

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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.
Progetti
Titolo Data inizio
VVV - Voglio Vedere Verde: simulazione virtuale di eco-sistemi naturali per esprimere, condividere e comunicare le esigenze di verde nell’ambiente 28/12/23
PRIN 2022 - Urban Greening for Pervasive and Resilient Proximity 18/10/23
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




Altri incarichi
Tiziano Villa
Carica Organo collegiale
Componente Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
Componente Collegio Didattico di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento

Condividi