Home topBanner.jpg
 
| dove siamodove siamo | | telefono emailtelefono email | |   | Italiano English ? |
map map
 
*Offerta formativa *Persone *Organi collegiali e di governo *Segreterie e strutture di servizio
*Primo piano *Avvisi *Seminari *Biblioteche
Home Ateneo 
Home 
 
Persone
* Docenti
 
* Professore ordinario
* Professore associato
* Professore aggregato
* Ricercatore
* Professore a contratto
* Professore di altro ateneo
* Professore supplente
* Ricercatore a tempo determinato
* Cultore della materia
* Personale tecnico-amministrativo
* Rappresentanti degli studenti
 
|
 
Isabella Mastroeni
I contenuti di questa pagina sono di responsabilità della persona: Isabella Mastroeni
In caso di assenza rivolgersi alla struttura:   Scienze matematiche fisiche e naturali
Pagine collegate
*
*
*
*
*
Curriculum Vitae
Curriculum Vitae 		Orario di ricevimento
Orario di ricevimento 		Insegnamenti
Insegnamenti 		Ricerca
Ricerca 		Prodotti della ricerca
Prodotti della ricerca

Foto, 28 maggio 2002
Qualifica Ricercatore  
Dipartimento di afferenza Informatica
Settore disciplinare INF/01 - INFORMATICA
_
Ufficio Ca' Vignal 2, piano 1, stanza 58
Telefono +39 045 802 7089  
Telefono mobile +39 3204352533
Fax +39 045 802 7068  
E-mail isabella|mastroeni*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale http://profs.sci.univr.it/~mastroen/ 
Skype My status
_
Incarico come referente Referente per la Commissione Paritetica per le Attività Culturali, Sportive e Ricreative - Scienze matematiche fisiche e naturali

Curriculum 
Titolo Formato (Lingua, Dimensione, Data pubblicazione)
Curriculum vitae  pdf pdf (it, 109,388 KB, 09/05/08)

Orario di ricevimento
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 58 martedì  15.00 - 16.00

Insegnamenti degli ultimi due anni accademici
Nome Consistenza dell'insegnamento Crediti del docente Online Moduli svolti da questo docente
Compilatori avanzati  (2012/2013)   6 CFU 5 CFU  
Linguaggi e compilatori  (2012/2013)   12 CFU 6 CFU   LINGUAGGI
Sicurezza dei sistemi  (2012/2013)   6 CFU 6 CFU  
Sicurezza dei sistemi  (2011/2012)   6 CFU 6 CFU  
CFU = Crediti formativi universitari
Inizio pagina

Aree di ricerca
Nome Argomento
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

Prodotti della ricerca

_
Anno
Tipologia prodotto
Numero prodotti per pagina pubblicazioni su 39 totali
_
 
Inizio pagina
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 Università degli Studi di Verona.  Informazioni sul sito