Tiziano Villa

  1. Home
  2. Department
  3. People
  4. Tiziano Villa
Foto di Tiziano Villa, April 22, 2013
Position
Professore onorario
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Research sector (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

Research sector (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

Office
Ca' Vignal 2,  Floor 1,  Room 77
Telephone
+39 045 802 7034
E-mail
tiziano|villa*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

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

Curriculum

Modules

Modules running in the period selected: 62.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2024/2025)   12  eLearning 2  ELEMENTI DI ARCHITETTURE [Matricole dispari] (Esercitazioni)
3  ELEMENTI DI ARCHITETTURE [Matricole dispari] (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2023/2024)   6  eLearning 3 
Bachelor's degree in Computer Science Operating Systems (2023/2024)   12  eLearning 8  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Sistemi a eventi discreti e ibridi (2023/2024)   9  eLearning 9 
Bachelor's degree in Bioinformatics Introduction to computer architecture (2022/2023)   6  eLearning 5  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2022/2023)   6  eLearning 4 
Master's degree in Computer Engineering for Robotics and Smart Industry Sistemi a eventi discreti e ibridi (2022/2023)   9  eLearning 9 
Bachelor's degree in Bioinformatics Introduction to computer architecture (2021/2022)   6  eLearning 5  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2021/2022)   6  eLearning 2 
Master's degree in Computer Engineering for Robotics and Smart Industry Sistemi a eventi discreti e ibridi (2021/2022)   9  eLearning 9 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2020/2021)   6  eLearning 2 
Bachelor's degree in Bioinformatics Introduction to computer architecture (2020/2021)   6  eLearning 5  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Sistemi a eventi discreti e ibridi (2020/2021)   9  eLearning 9 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2019/2020)   6  eLearning 1  (Teoria)
1  (Laboratorio)
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2019/2020)   12  eLearning 6  (Teoria mod. 1)
3  (Teoria mod. 2)
Master's degree in Computer Science and Engineering System theory (2019/2020)   12  eLearning 6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2018/2019)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2018/2019)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2018/2019)   12  eLearning 6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6  eLearning 2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2017/2018)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2017/2018)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning 2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2016/2017)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2016/2017)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2015/2016)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2015/2016)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2014/2015)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2014/2015)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2013/2014)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2013/2014)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2012/2013)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2012/2013)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2011/2012)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2011/2012)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2010/2011)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2010/2011)   12    6  SISTEMI A EVENTI DISCRETI
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6    2 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2009/2010)   12    9  (Teoria)
Master's degree in Computer Science and Engineering System theory (2009/2010)   12    4  METODI DI SPECIFICA
Masters in Computer Science Electronic Design Automation (2008/2009)   5    1  Laboratorio
4  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2008/2009)   6    4  Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2008/2009)   5    1  Laboratorio
4  Teoria
Masters in Computer Science Electronic Design Automation (2007/2008)   5    1  Laboratorio
4  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2007/2008)   6    4  Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2007/2008)   5    1  Laboratorio
4  Teoria
Masters in Computer Science Electronic Design Automation (2006/2007)   5    5 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Real-time systems (2006/2007)   5    5 

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

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.

Research groups

ForMe - Formal Methods for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
INdAM - Research Unit at the University of Verona
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
Networked Systems and Technologies
Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.
Projects
Title Starting date
PRIN 2022 - Urban Greening for Pervasive and Resilient Proximity 10/18/23
Formal methods for the verification and synthesis of discrete event and hybrid systems 2/5/18
Computer Engineering for Industry 4.0 1/1/18
TEMART - Tecnologie e materiali per la manifattura artistica i Beni Culturali l’arredo il decoro architettonico e urbano e il design del futuro 11/7/17
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



Organization

Department facilities

Share