Tiziano  Villa

The contents of this page are the responsibility of the person: Tiziano Villa
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Fast Links Links
Foto di Tiziano Villa, April 22, 2013
Qualification
Full Professor

Disciplinary sector
ING-INF/05 - Information Processing Systems


Office
Ca' Vignal 2,  Floor 2,  Room 14

Telephone
+39 045 802 7034

Fax
+39 045 802 7068

E-mail
tiziano|villa*univr|it <== Replace | with . and * with @ to have the right email address.


Chairperson

Documents

Curriculum

Research groups
Name Description
Electronic Systems Design (ESD) Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies

Skills
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
Hardware - 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 - Hardware validation

Research products

Year
Type of item
Number of research products per page
publications on 89 total
 

Projects
Title Starting date
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

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Design automation of embedded systems (2012/2013)   6  eLearning 2 
Department Computer Science  Introduction to computer architecture and operating systems (2012/2013)   12    9 
Department Computer Science  System theory (2012/2013)   12    6  SISTEMI A EVENTI DISCRETI
Department Computer Science  Design automation of embedded systems (2011/2012)   6  eLearning 2 
Department Computer Science  Introduction to computer architecture and operating systems (2011/2012)   12    9 
Department Computer Science  System theory (2011/2012)   12    6  SISTEMI A EVENTI DISCRETI

People
Top