Alessandra Di Pierro

Curriculum

•   curriculum   (pdf, en, 176 KB, 12/02/24)
•   curriculum (italiano)   (pdf, it, 174 KB, 05/04/24)

I miei interessi e la mia attività di ricerca si concentrano nell'ambito dell'informatica teorica.
I temi specifici si possono riassumere come segue:

• 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.
•  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.

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 anche tramite l'app Univr.

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti