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.

Dipartimento/Scuola Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dipartimento Biotecnologie  Informatica (2016/2017)   6  eLearning
Dipartimento Informatica  Linguaggi e compilatori (2016/2017)   12  eLearning COMPILATORI
Dipartimento Biotecnologie  Informatica (2015/2016)   6  eLearning
Dipartimento Informatica  Linguaggi e compilatori (2015/2016)   12  eLearning COMPILATORI
Dipartimento Informatica  Compilatori avanzati (2013/2014)   6  eLearning
Dipartimento Informatica  Informatica quantistica (2013/2014)   6   
Dipartimento Informatica  Linguaggi e compilatori (2013/2014)   12  eLearning COMPILATORI
Dipartimento Informatica  Compilatori avanzati (2012/2013)   6   
Dipartimento Informatica  Informatica quantistica (2012/2013)   6   
Dipartimento Informatica  Linguaggi e compilatori (2012/2013)   12    COMPILATORI
Dipartimento Informatica  Informatica quantistica (2011/2012)   6   
Dipartimento Informatica  Linguaggi e compilatori (2011/2012)   12    COMPILATORI
LINGUAGGI
Dipartimento Informatica  Programmazione II (2010/2011)   6  eLearning
Dipartimento Informatica  Reti di calcolatori (2010/2011)   6  eLearning
Dipartimento Informatica  Informatica quantistica (2009/2010)   6    (Teoria e Esercitazioni)
Dipartimento Informatica  Algoritmi e strutture dati (2008/2009)   10    Teoria
Dipartimento Informatica  Informatica quantistica (2008/2009)   5   
Dipartimento Informatica  Algoritmi e strutture dati (2007/2008)   10    Teoria
Dipartimento Informatica  Informatica quantistica (2007/2008)   5   
Dipartimento Informatica  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