Alessandra Di Pierro

foto-ale,  18 maggio 2012
Qualifica
Professore associato
Ruolo
Professore Associato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
F.3 - LOGICS AND MEANINGS OF PROGRAMS

- Models of computation

D.3 - PROGRAMMING LANGUAGES

- Semantics and reasoning

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

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 che è intrinsecamente diverso da quello classico. Anche qui l'obiettivo della mia ricerca è la definizione di una teoria computazionale del tipo del lambda-calcolo e parallelamente l'investigazione 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: 23.
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 Compilatori (2017/2018)   6   
Laurea in Biotecnologie Informatica (2017/2018)   6   
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  eLearning
Laurea in Informatica Linguaggi e compilatori (2015/2016)   12  eLearning COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2013/2014)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2013/2014)   6   
Laurea in Informatica Linguaggi e compilatori (2013/2014)   12  eLearning 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  eLearning
Laurea in Informatica Reti di calcolatori (2010/2011)   6  eLearning
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

Attività didattiche avanzate
Nome Online
PhD Course on "Quantum Computing" (31° Ciclo - Dottorato in Informatica)
Quantum Computing (32° Ciclo - Dottorato in Informatica)
Quantum Computing (32° ciclo - Dottorato Interateneo in Matematica)
 

Gruppi di ricerca

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
Theory of computation - Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Ingegneria del software e sicurezza
Security and privacy - 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 and its engineering - Software organization and properties
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Informatica teorica
Theory of computation - 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
Theory of computation - 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