Alessandra Di Pierro

foto-ale,  18 maggio 2012
Qualifica
Professore associato
Ruolo
Professore Associato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

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

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 89
Telefono
+39 045 802 7971
E-mail
alessandra|dipierro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~dipierro/

Orario di ricevimento

martedì, Ore 14.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 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.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 45.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dottorato in Informatica Introduction to Quantum Machine Learning (2024/2025)   3   
Dottorato in Informatica Introduction to Quantum Machine Learning (2023/2024)   4  eLearning
Laurea in Informatica Logica [Matricole dispari] (2023/2024)   6  eLearning  
Laurea in Informatica Logica [Matricole pari] (2023/2024)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning
Laurea in Informatica Logica [Matricole dispari] (2022/2023)   6  eLearning  
Laurea in Informatica Logica [Matricole pari] (2022/2023)   6  eLearning
Dottorato in Informatica Introduction to Quantum Machine Learning (2021/2022)   4  eLearning
Laurea in Informatica Logica [Matricole pari] (2021/2022)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
Dottorato in Informatica Introduction to Quantum Machine Learning (2020/2021)   3  eLearning
Laurea in Informatica Logica [Matricole dispari] (2020/2021)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Informatica Compilatori (2019/2020)   6  eLearning
Laurea in Biotecnologie Informatica (2019/2020)   6  eLearning
Dottorato in Informatica Quantum Machine Learning (2019/2020)   4  eLearning
Laurea in Informatica Compilatori (2018/2019)   6  eLearning
Laurea in Biotecnologie Informatica (2018/2019)   6  eLearning
Laurea in Informatica Compilatori (2017/2018)   6  eLearning
Laurea in Biotecnologie Informatica (2017/2018)   6  eLearning
Laurea in Biotecnologie Informatica (2016/2017)   6  eLearning
Laurea in Informatica Linguaggi e compilatori (2016/2017)   12  eLearning COMPILATORI
Laurea in Biotecnologie Informatica (2015/2016)   6   
Laurea in Informatica Linguaggi e compilatori (2015/2016)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2013/2014)   6   
Laurea in Informatica Linguaggi e compilatori (2013/2014)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2012/2013)   6   
Laurea in Informatica Linguaggi e compilatori (2012/2013)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2011/2012)   6   
Laurea in Informatica Linguaggi e compilatori (2011/2012)   12    COMPILATORI
LINGUAGGI
Laurea in Informatica Programmazione II (2010/2011)   6   
Laurea in Informatica Reti di calcolatori (2010/2011)   6   
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2009/2010)   6    (Teoria e Esercitazioni)
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2008/2009)   10    Teoria
Laurea specialistica in Informatica Informatica quantistica (2008/2009)   5   
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10    Teoria
Laurea specialistica in Informatica Informatica quantistica (2007/2008)   5   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Basi di dati e multimedia (2006/2007)   10    Laboratorio

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.

MyUnivr
 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Quantum Informatics Laboratory - QUILAB
Laboratorio di Informatica Quantistica
SPY
Competenze
Argomento Descrizione Area di ricerca
Lambda Calculus Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Informatica teorica
Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Ingegneria del Software e Sicurezza
Formal methods and theory of security
Quantitative Static Analysis Studio di metodi formali per l'analisi quantitativa dei programmi. Estensione delle tecniche classiche di analisi statica (data-flow, control-flow, abstract interpretation, type systems) all'analisi probabilistica e speculativa. Ingegneria del Software e Sicurezza
Software organization and properties
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Informatica teorica
Semantics and reasoning
Topological Quantum Computation Modelli di calcolo basati su sistemi di riscrittura per il Topological Quantum Computing (TQC). Studio di nuove tecniche algoritmiche basate sul modello matematico alla base di TQC. Informatica teorica
Models of computation
Progetti
Titolo Data inizio
Security Horizons 01/02/13
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009) 15/07/11
SPaCIoS: Secure Provision and Consumption in the Internet of Services 01/10/10
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 22/09/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 26/03/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 01/01/08




Organizzazione

Strutture del dipartimento

Condividi