static-analysis abstract-interpretation xEVMLiSA blockchain

Experience: Researcher and Software Developer

University of Parma
Parma, Italy, From Jan. 2025

Development of xEVMLiSA

Currently working on the early stages of xEVMLiSA, a project aimed at expanding EVMLiSA to analyze smart contracts across multiple blockchains (cross-chain).