Alessandra Di Pierro

foto-ale,  18 maggio 2012
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 21.
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 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" (30° ciclo - Dottorato in Informatica)
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