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

mercoledì, Ore 10.00 - 13.00,   Ca' Vignal 2, piano 1, stanza 89

Curriculum

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2025/2026)   12    3  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2025/2026)   6    1  (Laboratorio)
5  (Teoria)
Laurea in Informatica [L-31] 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 [LM-18/32] Quantum computing (2024/2025)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] 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 [L-31] Logica [Matricole dispari] (2023/2024)   6  eLearning  
Laurea in Informatica [L-31] Logica [Matricole pari] (2023/2024)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2023/2024)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning 1 
Laurea in Informatica [L-31] Logica [Matricole dispari] (2022/2023)   6  eLearning  
Laurea in Informatica [L-31] Logica [Matricole pari] (2022/2023)   6  eLearning 6 
Laurea in Informatica [L-31] Logica [Matricole pari] (2021/2022)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea in Informatica [L-31] Logica [Matricole dispari] (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2020/2021)   6  eLearning 1  (Laboratorio)
5  (Teoria)
Laurea in Informatica [L-31] Compilatori (2019/2020)   6  eLearning 6 
Laurea in Biotecnologie [L-2] Informatica (2019/2020)   6  eLearning 6 
Laurea in Informatica [L-31] Compilatori (2018/2019)   6  eLearning 6 
Laurea in Biotecnologie [L-2] Informatica (2018/2019)   6  eLearning 6 
Laurea in Informatica [L-31] Compilatori (2017/2018)   6  eLearning 6 
Laurea in Biotecnologie [L-2] Informatica (2017/2018)   6  eLearning 6 
Laurea in Biotecnologie [L-2] Informatica (2016/2017)   6  eLearning 6 
Laurea in Informatica [L-31] Linguaggi e compilatori (2016/2017)   12  eLearning 6  COMPILATORI
Laurea in Biotecnologie [L-2] Informatica (2015/2016)   6    6 
Laurea in Informatica [L-31] Linguaggi e compilatori (2015/2016)   12    6  COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Compilatori avanzati (2013/2014)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2013/2014)   6    5 
Laurea in Informatica [L-31] Linguaggi e compilatori (2013/2014)   12    6  COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Compilatori avanzati (2012/2013)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2012/2013)   6    5 
Laurea in Informatica [L-31] Linguaggi e compilatori (2012/2013)   12    6  COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2011/2012)   6    5 
Laurea in Informatica [L-31] Linguaggi e compilatori (2011/2012)   12    6  COMPILATORI
6  LINGUAGGI
Laurea in Informatica [L-31] Programmazione II (2010/2011)   6    6 
Laurea in Informatica [L-31] Reti di calcolatori (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] 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

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
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Sicurezza informatica
Formal methods and theory of security
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