Alessandra Di Pierro

foto-ale,  May 18, 2012
Position
Associate Professor
Disciplinary sector
INF/01 - INFORMATICS
Office
Ca' Vignal 2,  Floor 1,  Room 89
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

Tuesday, Hours 2:30 PM - 4:30 PM,   Ca' Vignal 2, floor 1, room 89

Insegnamenti

Risultano 21 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Biotechnology  Information Technology (2016/2017)   6  eLearning
Department Computer Science  Languages and compilers (2016/2017)   12  eLearning COMPILATORI
Department Biotechnology  Information Technology (2015/2016)   6  eLearning
Department Computer Science  Languages and compilers (2015/2016)   12  eLearning COMPILATORI
Department Computer Science  Advanced Compilers (2013/2014)   6  eLearning
Department Computer Science  Languages and compilers (2013/2014)   12  eLearning COMPILATORI
Department Computer Science  Quantum computing (2013/2014)   6   
Department Computer Science  Advanced Compilers (2012/2013)   6   
Department Computer Science  Languages and compilers (2012/2013)   12    COMPILATORI
Department Computer Science  Quantum computing (2012/2013)   6   
Department Computer Science  Languages and compilers (2011/2012)   12    COMPILATORI
LINGUAGGI
Department Computer Science  Quantum computing (2011/2012)   6   
Department Computer Science  Networks (2010/2011)   6  eLearning
Department Computer Science  Programming II (2010/2011)   6  eLearning
Department Computer Science  Quantum computing (2009/2010)   6    (Teoria e Esercitazioni)
Department Computer Science  Algorithms and Data Structures (2008/2009)   10    Teoria
Department Computer Science  Quantum computing (2008/2009)   5   
Department Computer Science  Algorithms and Data Structures (2007/2008)   10    Teoria
Department Computer Science  Quantum computing (2007/2008)   5   
Department Computer Science  Databases and Multimedia (2006/2007)   10    Laboratorio

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


Advanced teaching activities
Name Online
PhD Course on "Quantum Computing" (29° ciclo - PhD in Computer Science)
PhD Course on "Quantum Computing" (30° ciclo - PhD in Computer Science)
PhD Course on "Quantum Computing" (31° Ciclo - PhD in Computer Science)
PhD Course on Quantum Computing (32° Ciclo - PhD in Computer Science)
PhD Course on Quantum Computing (32° ciclo - Interuniversity PhD in Mathematics)
 

Research groups

QUILAB
The Quantum Informatics Laboratory (QUILAB) brings together researchers from the computer science and physics departments to work on fundamental issues in quantum computation, quantum algorithms and quantum information processing.
SPY
Skills
Topic Description Research area
Lambda Calculus Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity. Informatica teorica
Theory of computation - Models of computation
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Quantitative static analysis Study of formal methods for quantitative analysis of programs. Extension of classical program analysis techniques (data-flow, control-flow, abstract interpretation,type systems)to probabilistic and speculative analysis for program optimisation and transformation. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Semantics of Probabilistic Languages Construction of operational and denotational semantics via linear and abstract algebras. Informatica teorica
Theory of computation - Semantics and reasoning
Topological Quantum Computation Re-writing systems for Topological Quantum Computation (TQC) and study of new algorithmic techniques based on the mathematical model of TQC. Informatica teorica
Theory of computation - Models of computation
Projects
Title Starting date
Security Horizons 2/1/13
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