معرفی
Alessandra Di Pierro is an Associate Professor at the Department of Computer Science, University of Verona, College of Science and Engineering. Her research focuses on quantum computing, formal methods, theoretical computer science, and cybersecurity, with a special emphasis on probabilistic abstract interpretation for security analysis.
Key roles include:
- Member of the Computer Science Teaching Committee
- Member of the Commissione Spin-off
- Coordinator for courses in Quantum Computing and Compilers at various academic levels
Research initiatives:
- Security Horizons
- SPaCIoS: Secure Provision and Consumption in the Internet of Services
- Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009)
She is affiliated with the SPY (Formal Methods) Laboratory and The Quantum Informatics Laboratory (QUILAB).
۰مقاله منتشرشده