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
 
|
 
Isabella Mastroeni
The contents of this page are the responsibility of the person: Isabella Mastroeni
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, May 28, 2002
Qualification Assistant Professor  
Department  Computer Science
Disciplinary sector INF/01 - Computing
_
Office Ca' Vignal 2, floor 1, room 58
Telephone +39 045 802 7089  
Mobile +39 3204352533
Fax +39 045 802 7068  
E-mail isabella|mastroeni*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page http://profs.sci.univr.it/~mastroen/ 
Skype My status
_
Referent posts held Referente per la Commissione Paritetica per le Attività Culturali, Sportive e Ricreative - Mathematical, Physical and Natural Sciences

Curriculum 
Title Format (Language, Size, Publication date)
Curriculum vitae  pdf pdf (it, 109.388 KB, 5/9/08)

Office hours
Place day Timetable
Ca' Vignal 2, floor 1, room 58 Tuesday  3:00 PM - 4:00 PM

Teachings in the last two academic years
Name Total credits Teacher credits E-lrng Modules offered by this teacher
Languages and compilers   (2012/2013)   12 CFU 6 CFU   LINGUAGGI
Systems security  (2012/2013)   6 CFU 6 CFU  
Compilatori avanzati  (2012/2013)   6 CFU 5 CFU  
Systems security  (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 39 total
_
 
Top
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 University of Verona.  Site information