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: 51.
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  eLearning 3  (Teoria)
Dottorato in Informatica Introduction to Quantum Machine Learning (2025/2026)   3  eLearning 3 
Laurea in Informatica [L-31] Logica (2025/2026)   6  eLearning 6 
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
Computazione quantistica: modelli, semantica e analisi dei programmi, metodi per il machine learning Progetto e implementazione dei linguaggi di programmazione quantistica. Sviluppo di metodi quantistici per il machine learning. Studio di tecniche quantistiche per problemi di ottimizzazione. Algoritmi, Logica e teoria della computazione
Theory of computing
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