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 (Teoria)
Dottorato in Informatica Introduction to Quantum Machine Learning (2025/2026)   3   
Laurea in Informatica [L-31] Logica (2025/2026)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Quantum computing (2025/2026)   6    (Laboratorio)
(Teoria)
Laurea in Informatica [L-31] Compilatori (2024/2025)   6  eLearning (Laboratorio)
Dottorato in Informatica Introduction to Quantum Machine Learning (2024/2025)   3  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2024/2025)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi software per la dimostrazione assistita (2024/2025)   6  eLearning
Dottorato in Informatica Introduction to Quantum Machine Learning (2023/2024)   4  eLearning
Laurea in Informatica [L-31] Logica [Matricole dispari] (2023/2024)   6  eLearning  
Laurea in Informatica [L-31] Logica [Matricole pari] (2023/2024)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning
Laurea in Informatica [L-31] Logica [Matricole dispari] (2022/2023)   6  eLearning  
Laurea in Informatica [L-31] Logica [Matricole pari] (2022/2023)   6  eLearning
Laurea in Informatica [L-31] Logica [Matricole pari] (2021/2022)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Informatica [L-31] Logica [Matricole dispari] (2020/2021)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Quantum computing (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Informatica [L-31] Compilatori (2019/2020)   6  eLearning
Laurea in Biotecnologie [L-2] Informatica (2019/2020)   6  eLearning
Laurea in Informatica [L-31] Compilatori (2018/2019)   6  eLearning
Laurea in Biotecnologie [L-2] Informatica (2018/2019)   6  eLearning
Laurea in Informatica [L-31] Compilatori (2017/2018)   6  eLearning
Laurea in Biotecnologie [L-2] Informatica (2017/2018)   6  eLearning
Laurea in Biotecnologie [L-2] Informatica (2016/2017)   6  eLearning
Laurea in Informatica [L-31] Linguaggi e compilatori (2016/2017)   12  eLearning COMPILATORI
Laurea in Biotecnologie [L-2] Informatica (2015/2016)   6   
Laurea in Informatica [L-31] Linguaggi e compilatori (2015/2016)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Compilatori avanzati (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2013/2014)   6   
Laurea in Informatica [L-31] Linguaggi e compilatori (2013/2014)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Compilatori avanzati (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2012/2013)   6   
Laurea in Informatica [L-31] Linguaggi e compilatori (2012/2013)   12    COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Informatica quantistica (2011/2012)   6   
Laurea in Informatica [L-31] Linguaggi e compilatori (2011/2012)   12    COMPILATORI
LINGUAGGI
Laurea in Informatica [L-31] Programmazione II (2010/2011)   6   
Laurea in Informatica [L-31] Reti di calcolatori (2010/2011)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] 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

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.



Organizzazione

Strutture del dipartimento

Condividi