Alessandra Di Pierro

Curriculum

•   curriculum English   (pdf, en, 158 KB, 14/01/20)
•   curriculum italiano   (pdf, it, 147 KB, 14/01/20)

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.

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

Presidente

• Commissione di valutazione assegni di tutorato insegnamenti SSD INF/ING-INF