Alessandra  Di Pierro

The contents of this page are the responsibility of the person: Alessandra Di Pierro
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Fast Links Links
foto-ale, May 18, 2012
Qualification
Associate Professor

Disciplinary sector
INF/01 - Computing


Office
Ca' Vignal 2,  Floor 2,  Room 1

Telephone
+39 045 802 7971

Fax
+39 045 802 7068

E-mail
alessandra|dipierro*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://profs.sci.univr.it/~dipierro/



Office hours
Place day Timetable
Ca' Vignal 2, floor 2, room 8B Tuesday 2:30 PM - 4:30 PM

Research groups
Name Description
QUILAB Quantum Informatics Laboratory
SPY

Skills
Topic Description Research area
Semantics of programming languages Construction of operational and denotational semantics for probabilistic languages and study of program equivalences as a basis for probabilistic static analysis and in general for quantitative analysis. Theory of computation
Theory of computation - Semantics and reasoning
Static Analysis Study of techniques for the static analysis of object-oriented and low-level languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Software Engineering and Security
Software and its engineering - Software organization and properties

Research products

Year
Type of item
Number of research products per page
publications on 37 total
 

Projects
Title Starting date
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009) 7/15/11
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 9/22/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 3/26/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Languages and compilers (2012/2013)   12    6  COMPILATORI
Department Computer Science  Quantum computing (2012/2013)   6    5 
Department Computer Science  Compilatori avanzati (2012/2013)   6    1 
Department Computer Science  Languages and compilers (2011/2012)   12    6  COMPILATORI
6  LINGUAGGI
Department Computer Science  Quantum computing (2011/2012)   6    5 

People
Top