Alessandra Di Pierro

  1. Home
  2. Department
  3. People
  4. Alessandra Di Pierro
foto-ale, May 18, 2012
Position
Associate Professor
Role
Professore Associato
Academic sector
INFO-01/A - Informatics
Research sector (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

Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Office
Ca' Vignal 2,  Floor 1,  Room 89
Telephone
+39 045 802 7971
E-mail
alessandra|dipierro*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Wednesday, Hours 10:00 AM - 1:00 PM,   Ca' Vignal 2, Floor 1, room 89

Curriculum

Modules

Modules running in the period selected: 47.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
PhD in Computer Science Introduction to Quantum Machine Learning (2025/2026)   3    3 
Bachelor's degree in Computer Science Compilers (2024/2025)   6  eLearning 1  (Laboratorio)
Master's degree in Computer Science and Engineering Interactive Theorem Proving (2024/2025)   6  eLearning 6 
PhD in Computer Science Introduction to Quantum Machine Learning (2024/2025)   3  eLearning 3 
Master's degree in Computer Science and Engineering Quantum Computing (2024/2025)   6  eLearning 5  (Teoria)
1  (Laboratorio)
PhD in Computer Science Introduction to Quantum Machine Learning (2023/2024)   4  eLearning 4 
Bachelor's degree in Computer Science Logic [Matricole dispari] (2023/2024)   6  eLearning  
Bachelor's degree in Computer Science Logic [Matricole pari] (2023/2024)   6  eLearning 6 
Master's degree in Computer Science and Engineering Quantum Computing (2023/2024)   6  eLearning 5  (Teoria)
1  (Laboratorio)
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning 1 
Bachelor's degree in Computer Science Logic [Matricole dispari] (2022/2023)   6  eLearning  
Bachelor's degree in Computer Science Logic [Matricole pari] (2022/2023)   6  eLearning 6 
Bachelor's degree in Computer Science Logic [Matricole pari] (2021/2022)   6  eLearning 6 
Master's degree in Computer Science and Engineering Quantum Computing (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Logic [Matricole dispari] (2020/2021)   6  eLearning 6 
Master's degree in Computer Science and Engineering Quantum Computing (2020/2021)   6  eLearning 1  (Laboratorio)
5  (Teoria)
Bachelor's degree in Computer Science Compilers (2019/2020)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2019/2020)   6  eLearning 6 
Bachelor's degree in Computer Science Compilers (2018/2019)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2018/2019)   6  eLearning 6 
Bachelor's degree in Computer Science Compilers (2017/2018)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2017/2018)   6  eLearning 6 
Bachelor's degree in Biotechnology Information Technology (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Languages and compilers (2016/2017)   12  eLearning 6  COMPILATORI
Bachelor's degree in Biotechnology Information Technology (2015/2016)   6    6 
Bachelor's degree in Computer Science Languages and compilers (2015/2016)   12    6  COMPILATORI
Master's degree in Computer Science and Engineering Advanced Compilers (2013/2014)   6    1 
Bachelor's degree in Computer Science Languages and compilers (2013/2014)   12    6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2013/2014)   6    5 
Master's degree in Computer Science and Engineering Advanced Compilers (2012/2013)   6    1 
Bachelor's degree in Computer Science Languages and compilers (2012/2013)   12    6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2012/2013)   6    5 
Bachelor's degree in Computer Science Languages and compilers (2011/2012)   12    6  LINGUAGGI
6  COMPILATORI
Master's degree in Computer Science and Engineering Quantum computing (2011/2012)   6    5 
Bachelor's degree in Computer Science Computer Networks (2010/2011)   6    6 
Bachelor's degree in Computer Science Programming II (2010/2011)   6    6 
Master's degree in Computer Science and Engineering Quantum computing (2009/2010)   6    5  (Teoria e Esercitazioni)
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2008/2009)   10    8  Teoria
Masters in Computer Science Quantum computing (2008/2009)   5    5 
Bachelor's degree in Bioinformatics (until 2008-2009) Algorithms and Data Structures (2007/2008)   10    8  Teoria
Masters in Computer Science Quantum computing (2007/2008)   5    5 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Databases and 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.

Research groups

Logica
Logica in matematica ed informatica.
The Quantum Informatics Laboratory - QUILAB
The Quantum Informatics Laboratory
SPY
Research interests
Topic Description Research area
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Cybersecurity
Formal methods and theory of security
Projects
Title Starting date
Security Horizons 2/1/13
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009) 7/15/11
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 9/22/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 3/26/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08



Organization

Department facilities

Share