Education
2026
-
M.S. in Computer Science
quantum-computing software-security machine-learning
Expected graduation year: July 2026.
Sep. 2024 ‑ Present - University of Parma, Italy
2024
-
B.S. in Computer Science
static-analysis abstract-interpretation EVMLiSA
Thesis title: Construction of sound Control‑Flow Graphs for bytecode EVM.
Grade: 108/110
Sep. 2021 ‑ Jul. 2024 - University of Parma, Italy - Thesis available