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

foto 2010, April 12, 2010
Qualification Full Professor  
Department  Computer Science
Disciplinary sector INF/01 - Computing
_
Office Ca' Vignal 2, floor 1, room 76
Telephone 045 802 7922  
Fax 045 802 7068  
E-mail andrea|masini*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page http://www.facebook.com/andrea.masini.5811 


Office hours

attenzione al nuovo orario di ricevimento!
Place day Timetable
Ca' Vignal 2, floor 1, room 76 Friday  2:00 PM - 4: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)   12 CFU 6 CFU   LOGICA
Logics and discrete mathematics   (2012/2013)   6 CFU 6 CFU  
Foundations of Computing  (2011/2012)   12 CFU 6 CFU   LOGICA
Logics and discrete mathematics   (2011/2012)   6 CFU 6 CFU  
CFU = University Training Credits
Top

Research areas
Name Skill
Models of computation Computability
Logic Lambda Calculus
Logic modal and temporal logics
Logic proof theory, Linear logic, Type theory
Models of computation Quantum computation theory

Research products

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