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
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. 
  • Per l'implementazione degli algoritmi quantistici e' necessario lo sviluppo di linguaggi di programmazione in grado di supportare costrutti specifici per la rappresentazione (sintattica e semantica) delle proprietà dei sistemi fisici quantistici. In generale, una parte importante della mia ricerca e' dedicata all studio del software quantistico, dal design di linguaggi ad alto livello alla loro implementazione, dall'analisi statica e verifica di proprietà alle applicazioni.

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
PhD in Computer Science Introduction to Quantum Machine Learning (2024/2025)   3   
PhD in Computer Science Introduction to Quantum Machine Learning (2023/2024)   4  eLearning
Bachelor's degree in Computer Science Logic [Matricole dispari] (2023/2024)   6  eLearning  
Bachelor's degree in Computer Science Logic [Matricole pari] (2023/2024)   6  eLearning
Master's degree in Computer Science and Engineering Quantum Computing (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning
Bachelor's degree in Computer Science Logic [Matricole dispari] (2022/2023)   6  eLearning  
Bachelor's degree in Computer Science Logic [Matricole pari] (2022/2023)   6  eLearning
PhD in Computer Science Introduction to Quantum Machine Learning (2021/2022)   4  eLearning
Bachelor's degree in Computer Science Logic [Matricole pari] (2021/2022)   6  eLearning
Master's degree in Computer Science and Engineering Quantum Computing (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
PhD in Computer Science Introduction to Quantum Machine Learning (2020/2021)   3  eLearning
Bachelor's degree in Computer Science Logic [Matricole dispari] (2020/2021)   6  eLearning
Master's degree in Computer Science and Engineering Quantum Computing (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Bachelor's degree in Computer Science Compilers (2019/2020)   6  eLearning
Bachelor's degree in Biotechnology Information Technology (2019/2020)   6  eLearning
PhD in Computer Science Introduction to Quantum Machine Learning (2019/2020)   4  eLearning
Bachelor's degree in Computer Science Compilers (2018/2019)   6  eLearning
Bachelor's degree in Biotechnology Information Technology (2018/2019)   6  eLearning
Bachelor's degree in Computer Science Compilers (2017/2018)   6  eLearning
Bachelor's degree in Biotechnology Information Technology (2017/2018)   6  eLearning
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   
Bachelor's degree in Computer Science Languages and compilers (2015/2016)   12    COMPILATORI
Master's degree in Computer Science and Engineering Advanced Compilers (2013/2014)   6   
Bachelor's degree in Computer Science Languages and compilers (2013/2014)   12    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    LINGUAGGI
COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2011/2012)   6   
Bachelor's degree in Computer Science Computer Networks (2010/2011)   6   
Bachelor's degree in Computer Science Programming II (2010/2011)   6   
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

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

Research groups

Logica
Logica in matematica ed informatica.
The Quantum Informatics Laboratory - QUILAB
The Quantum Informatics Laboratory
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

Share