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)
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: 60.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
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 soon also via the Univr app.

MyUnivr
 

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.
Research interests
Topic Description Research area
Basic CAD algorithms Definition of basic algorithms for the design of electronic systems, with particular emphasis on: - Synthesis of sequential and combinational systems - Discrete event systems - Physical design Cyber-physical systems
Electronic design automation
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Cyber-physical systems
Hardware validation
Projects
Title Starting date
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