Vincenzo Arceri

About

Vincenzo Arceri is a Non-tenured Track Assistant Professor at the University of Parma, Italy. His research areas include software verification, static analysis for smart contracts, and blockchain technologies. Recent publications focus on challenges in software verification, detection of phantom reads in Hyperledger Fabric, and enhancements in static analysis methodologies. He is committed to advancing the understanding of dynamic code analysis and its implications in general-purpose language development for blockchain.