Alessandra Di Pierro-Dep.Computer Science-University of Verona

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: alessandradipierrounivrit

Office Hours

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

Curriculum

curriculum (pdf, en, 176 KB, 12/02/24)
curriculum (italiano) (pdf, it, 174 KB, 05/04/24)

Modules

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

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

Eventi
Insegnamenti

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

Year

Type of item

Alessandra Di Pierro
Office	Collegial Body
member	Computer Science Teaching Committee - Department Computer Science
member	Commissione di Area ERASMUS - Department Biotechnology
member	Computer Science Department Council - Department Computer Science

Overview

Organisation

Contact us

Research in brief

Research activities

Facilities

Courses

PhD programmes and postgraduate training

Teaching services

Information for community

Innovation and partnership

Contact us

Alessandra Di Pierro

Organization

Governance

Committees

Department administration offices

Student administration offices

Department facilities

Libraries

Centres

Laboratories

Spin off and companies