Alessandra Di Pierro

  1. Home
  2. Dipartimento
  3. Persone
  4. 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
Fax
+39 045 802 7068
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. 

Insegnamenti

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

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

Attività didattiche avanzate
Nome Online
Quantum Computing (35° ciclo - Dottorato in Informatica)
Quantum Computing (34° ciclo - Dottorato in Informatica)
Summer School On Quantum Languages Design and Implementation (34° ciclo - Dottorato in Informatica)
Quantum Computing (34° ciclo - Dottorato in Informatica)
 

Gruppi di ricerca

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