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
 
|
 
Davide Bresolin
The contents of this page are the responsibility of the person: Davide Bresolin
In caso di assenza rivolgersi alla struttura: Faculty Mathematical, Physical and Natural Sciences
Links
*
*
*
*
*
Curriculum Vitae
Curriculum Vitae 		Courses
Courses 		Research
Research 		Research products
Research products

Foto, December 11, 2008
Qualification Adjunct Professors  
Department  Computer Science
_
Telephone +39 045 802 7908  
Fax +39 045 802 7068  
E-mail davide|bresolin*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page http://profs.sci.univr.it/~bresolin 
_
Positions held at other faculties
Adjunct Professors from 10/1/10 to 9/30/11 Medicine and Surgery
employed in different departments
Research Associate from 3/1/10 to 12/31/13 Department Computer Science

Curriculum 
Title Format (Language, Size, Publication date)
Curriculum Vitae  pdf pdf (en, 91.192 KB, 4/24/10)

Teachings in the last two academic years
Name Total credits Teacher credits E-lrng Modules offered by this teacher
Introduction to computer architecture and operating systems   (2012/2013)   12 CFU 3 CFU   Laboratorio
Introduction to computer architecture and operating systems   (2011/2012)   12 CFU 3 CFU   Laboratorio
CFU = University Training Credits
Top

Research areas
Name Skill
Logic Logiche non classiche (intuizionista, lineare, modale, temporale)
Models of computation Modelli per sistemi ibridi
Hardware validation Embedded system verification

Research products

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