Alessandra Di Pierro

  1. Home
  2. Department
  3. People
  4. Alessandra Di Pierro
foto-ale, May 18, 2012
Position
Associate Professor
Role
Professore Associato
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

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

Curriculum

I miei interessi e la mia attività di ricerca si concentrano nell'ambito dell'informatica teorica.
I temi specifici si possono riassumere come segue:
  • Alla base dell'analisi mediante metodi formali dei linguaggi di programmazione c'è la semantica ovvero il modello matematico che fornisce il significato dei programmi e dei risultati delle loro esecuzioni. Il mio contributo in questo campo riguarda la semantica e l'analisi probabilistica di linguaggi imperativi e funzionali. In ambito funzionale i miei studi sono principalmente rivolti ai fondamenti della programmazione funzionale con l'obiettivo di sviluppare una teoria probabilistica per il lambda-calcolo e i suoi sistemi di tipi.
  • Il Quantum Computing rappresenta attualmente la mia principale attività di ricerca che è mirata a individuare i fondamenti logici di questo modello computazionale intrinsecamente diverso da quello classico. Anche qui l'obiettivo è la definizione di una teoria computazionale di tipo lambda-calcolo e parallelamente lo studio di nuove tecniche algoritmiche che sfruttano le proprietà della fisica quantistica per superare il limite classico di ciò che è effettivamente calcolabile. Topological Quantum Computation è la nuova modalità di computazione quantistica che sembra essere la più promettente per il raggiungimento di questo obiettivo.
  • Lo sviluppo di algoritmi efficienti è un'esigenza fondamentale per esempio nel campo del Machine Learning che rappresenta quindi un interessante ambito di applicazione del Quantum Computing. Una parte rilevante dei miei impegni di ricerca è rivolta allo studio di `kernel methods' (come ad esempio Support Vector Machine) basati su Topological Quantum Computation. 

Modules

Modules running in the period selected: 31.
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 Computer Science Logic [Matricole dispari] (2020/2021)   6  eLearning 6 
Master's degree in Computer Science and Engineering Quantum Computing (2020/2021)   6  eLearning 1  (Laboratorio)
5  (Teoria)
Bachelor's degree in Computer Science Compilers (2019/2020)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2019/2020)   6  eLearning 6 
PhD in Computer Science Introduction to Quantum Machine Learning (2019/2020)   4  eLearning 4 
Bachelor's degree in Computer Science Compilers (2018/2019)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2018/2019)   6  eLearning 6 
Bachelor's degree in Computer Science Compilers (2017/2018)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2017/2018)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Languages and compilers (2016/2017)   12  eLearning 6  COMPILATORI
Bachelor's degree in Biotechnology Information Technology (2015/2016)   6  eLearning 6 
Bachelor's degree in Computer Science Languages and compilers (2015/2016)   12  eLearning 6  COMPILATORI
Master's degree in Computer Science and Engineering Advanced Compilers (2013/2014)   6  eLearning 1 
Bachelor's degree in Computer Science Languages and compilers (2013/2014)   12  eLearning 6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2013/2014)   6    5 
Master's degree in Computer Science and Engineering Advanced Compilers (2012/2013)   6    1 
Bachelor's degree in Computer Science Languages and compilers (2012/2013)   12    6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2012/2013)   6    5 
Bachelor's degree in Computer Science Languages and compilers (2011/2012)   12    6  LINGUAGGI
6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2011/2012)   6    5 
Bachelor's degree in Computer Science Computer Networks (2010/2011)   6  eLearning 6 
Bachelor's degree in Computer Science Programming II (2010/2011)   6  eLearning 6 
Master's degree in Computer Science and Engineering Quantum computing (2009/2010)   6    5  (Teoria e Esercitazioni)
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2008/2009)   10    8  Teoria
Masters in Computer Science Quantum computing (2008/2009)   5    5 
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2007/2008)   10    8  Teoria
Masters in Computer Science Quantum computing (2007/2008)   5    5 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Databases and Multimedia (2006/2007)   10    2  Laboratorio

Advanced teaching activities
Name Online
Quantum Computing (35° ciclo - PhD in Computer Science)
Quantum Computing (34° ciclo - PhD in Computer Science)
Summer School On Quantum Languages Design and Implementation (34° ciclo - PhD in Computer Science)
Quantum Computing (34° ciclo - PhD in Computer Science)
 

Research groups

Logica
Logica in matematica ed informatica.
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
Research interests
Topic Description Research area
Lambda Calculus Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity. Theory of computation
Models of computation
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Software Engineering and Security
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. Software Engineering and Security
Software organization and properties
Semantics of Probabilistic Languages Construction of operational and denotational semantics via linear and abstract algebras. 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. 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



Organization

Department facilities