Faculty Home topBanner_en.jpg
 
| where to find uswhere to find us | | telephone e-mailtelephone e-mail | |   | Italiano English ? |
map map
 
*Education *People *Collegial bodies *Offices and service facilities
*News & Events *News *Seminars *Libraries
University Home 
Faculty Home 
 
Persons
* Professors and Lecturers
 
* Full Professor
* Associate Professor
* Temporary Professor
* Assistant Professor
* Adjunct professor
* Adjunct Professors
* Professor from another University
* Ricercatore a tempo determinato
* Subject Expert
* Technical-administrative staff
* Students Representatives
 
|
 
Roberto Giacobazzi
The contents of this page are the responsibility of the person: Roberto Giacobazzi
In caso di assenza rivolgersi alla struttura: Faculty Mathematical, Physical and Natural Sciences
Links
*
*
*
*
*
Curriculum Vitae
Curriculum Vitae 		Office hours
Office hours 		Courses
Courses 		Research
Research 		Research products
Research products

Foto, 23 aprile 2008, April 23, 2008
Qualification Full Professor  
Department a part of Computer Science
Disciplinary sector INF/01 - Computing
_
Office Ca' Vignal 2, floor 1, room 53
Telephone +39 045 802 7995  
Fax +39 045 802 7928  
E-mail roberto|giacobazzi*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page http://profs.sci.univr.it/~giaco 
Skype My status
_
Dean Faculty of Mathematical, Physical and Natural Sciences
Chairperson Comitato Scientifico del Master in Comitato Scientifico del Master in Progettazione Multimediale e Video
Scientific committee for the Masters in Multimedia and Video Creation
Faculty Committee
Dean's Council

Curriculum 
Title Format (Language, Size, Publication date)
CV Italiano  pdf pdf (it, 205.85 KB, 3/30/13)

Office hours

In caso di mia assenza presso lo studio, inviate una email!
Place day Timetable
Ca' Vignal 2, floor 1, room 53 Monday  2:00 PM - 5:00 PM

Teachings in the last two academic years
Name Total credits Teacher credits E-lrng Modules offered by this teacher
Foundations of Computing  (2012/2013)   6 CFU 6 CFU  
Static analysis and code protection  (2012/2013)   6 CFU 6 CFU  
Foundations of Computing  (2011/2012)   6 CFU 6 CFU  
Static analysis and code protection  (2011/2012)   6 CFU 6 CFU  
CFU = University Training Credits
Top

Research areas
Name Skill
Software creation and management Code synthesis
Formal methods and theory of security Protezione del software
Semantics and reasoning Semantics
Software organization and properties Static Analysis

Research products

_
Year
Type of research product
Number of research products per page publications on 80 total
_
 
Top
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 University of Verona.  Site information