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
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_14 - Quantum computing (formal methods, algorithms and other computer science aspects)

PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

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.

Orario di ricevimento

martedì, Ore 14.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 89

Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 46.
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 (2024/2025)   6  eLearning 1  (Laboratorio)
Dottorato in Informatica Introduction to Quantum Machine Learning (2024/2025)   3  eLearning 3 
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2024/2025)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi software per la dimostrazione assistita (2024/2025)   6  eLearning 6 
Dottorato in Informatica Introduction to Quantum Machine Learning (2023/2024)   4  eLearning 4 
Laurea in Informatica Logica [Matricole dispari] (2023/2024)   6  eLearning  
Laurea in Informatica Logica [Matricole pari] (2023/2024)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2023/2024)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning 1 
Laurea in Informatica Logica [Matricole dispari] (2022/2023)   6  eLearning  
Laurea in Informatica Logica [Matricole pari] (2022/2023)   6  eLearning 6 
Laurea in Informatica Logica [Matricole pari] (2021/2022)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
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 
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    6 
Laurea in Informatica Linguaggi e compilatori (2015/2016)   12    6  COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2013/2014)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche Informatica quantistica (2013/2014)   6    5 
Laurea in Informatica Linguaggi e compilatori (2013/2014)   12    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    6 
Laurea in Informatica Reti di calcolatori (2010/2011)   6    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

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 anche tramite l'app Univr.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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à. Ingegneria del Software e verifica formale
Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Sicurezza informatica
Formal methods and theory of security
Quantum Computing Teoria e applicazione del paradigma computazionale quantistico nei vari campi dell'informatica Ingegneria del Software e verifica formale
Models of computation
Quantum Machine Learning and Quantum Optimization Tecniche quantistiche per il Machine Learning e per problemi di ottimizzazione Ingegneria del Software e verifica formale
Theory and algorithms for application domains
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Ingegneria del Software e verifica formale
Semantics and reasoning
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 programmi classici e quantistici Ingegneria del Software e verifica formale
Semantics and reasoning
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