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

Modules

Modules running in the period selected: 21.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Biotechnology Information Technology (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Languages and compilers (2016/2017)   12  eLearning COMPILATORI
Bachelor's degree in Biotechnology Information Technology (2015/2016)   6  eLearning
Bachelor's degree in Computer Science Languages and compilers (2015/2016)   12  eLearning COMPILATORI
Master's degree in Computer Science and Engineering Advanced Compilers (2013/2014)   6  eLearning
Bachelor's degree in Computer Science Languages and compilers (2013/2014)   12  eLearning COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2013/2014)   6   
Master's degree in Computer Science and Engineering Advanced Compilers (2012/2013)   6   
Bachelor's degree in Computer Science Languages and compilers (2012/2013)   12    COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2012/2013)   6   
Bachelor's degree in Computer Science Languages and compilers (2011/2012)   12    COMPILATORI
LINGUAGGI
Master's degree in Computer Science and Engineering Quantum computing (2011/2012)   6   
Bachelor's degree in Computer Science Computer Networks (2010/2011)   6  eLearning
Bachelor's degree in Computer Science Programming II (2010/2011)   6  eLearning
Master's degree in Computer Science and Engineering Quantum computing (2009/2010)   6    (Teoria e Esercitazioni)
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2008/2009)   10    Teoria
Masters in Computer Science Quantum computing (2008/2009)   5   
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2007/2008)   10    Teoria
Masters in Computer Science Quantum computing (2007/2008)   5   
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Databases and Multimedia (2006/2007)   10    Laboratorio

Advanced teaching activities
Name Online
PhD Course on "Quantum Computing" (31° Ciclo - PhD in Computer Science)
PhD Course on "Quantum Computing" (30° 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