معرفی
Isabella Mastroeni is a Professor at the University of Verona, Italy, specializing in Static Analysis, Abstract Interpretation, and Software Security. Her research focuses on formal methods for program verification, quantum programming analysis, and security transformations. She actively contributes to conferences like POPL, SAS, and VMCAI.
Research Interests:
- Static Analysis of multi-language programs and quantum programming languages
- Abstract Interpretation frameworks (including Galois connection-less models)
- Security verification through code obfuscation and entanglement analysis
- Development of precise abstract domains for robust software analysis
Conference Contributions:
- Keynote speaker at SAS 2024 on quantum program analysis
- Active program committee member in POPL, ESOP, and VMCAI
- Published works on static analysis of entanglement (2025) and property-driven code obfuscation (2022)
۰مقاله منتشرشده
