Dr. Vincenzo Arceri | Computer Science | University of Parma | Italy
Dr. Vincenzo Arceri is an accomplished computer scientist and Assistant Professor at the University of Parma, Italy. His expertise lies in abstract interpretation, static program analysis, blockchain security, and formal methods for ensuring software reliability. With a strong academic background and multiple research fellowships, he has established himself as a leading voice in advancing secure, dependable software systems. Dr. Arceri has contributed significantly to the development of static analysis tools, including LiSA, a generic library for static analysis, and EVMLiSA, a specialized analyzer for Ethereum smart contracts. His research extends into improving the quality and security of large language model–generated code, showcasing his commitment to addressing emerging challenges in artificial intelligence and blockchain domains. Recognized internationally through invitations to prestigious Dagstuhl Seminars, awards, and collaborations, Dr. Arceri combines research excellence with impactful teaching, mentoring students in programming and fostering the next generation of computer scientists.
Author Profiles
Orcid | Google Scholar
Education
Dr. Vincenzo Arceri pursued his academic journey at the University of Verona, Italy, where he obtained a Bachelor’s Degree in Computer Science in 2014 with a thesis on semantic analysis techniques for JavaScript. He continued his studies with a Master’s Degree in Computer Science, graduating cum laude in 2016, with a thesis focusing on static type analysis for PHP. Building upon his foundation, he earned his Ph.D. in Computer Science in 2020, presenting a dissertation titled “Taming Strings in Dynamic Languages – An Abstract Interpretation-based Static Analysis Approach.” His doctoral work, supervised by Prof. Isabella Mastroeni, was critically acclaimed by international reviewers such as Prof. Sergio Maffeis and Prof. Xavier Rival. Through this academic pathway, Dr. Arceri specialized in the rigorous application of abstract interpretation to real-world programming challenges, setting the stage for his future contributions to static analysis, software verification, and blockchain-related applications.
Experience
Dr. Vincenzo Arceri began his research career as a Postdoctoral Researcher at Ca’ Foscari University of Venice (2019–2021), where he worked on IoT applications in smart cities and the development of static analysis tools for Go, particularly in the context of blockchain smart contracts. His research there focused on formal verification and the precision–efficiency trade-offs in string analysis. In September 2021, he joined the University of Parma as an Assistant Professor, where he currently teaches Fundamentals of Programming to undergraduate students while continuing his research in advanced program analysis. His contributions include designing LiSA, a generic static analysis framework, and EVMLiSA, a static analyzer for Ethereum Virtual Machine bytecode. He has also explored static analysis for unsafe Rust programs and LLM-generated code. Dr. Arceri’s professional trajectory reflects a balance of teaching, applied research, and international collaboration with academic and industry partners.
Awards and Honors
Dr. Vincenzo Arceri’s research excellence has been recognized through prestigious awards and honors. In 2019, he received the Best Paper Award at VALID 2019 for his contribution to the operational semantics of Solidity, highlighting his innovative work in blockchain verification. His international reputation was further affirmed with scholarships such as the Marktoberdorf Summer School in 2018, which focused on engineering secure and dependable software systems. In 2023, he was awarded INdAM GNCS funding to support his participation in international conferences, workshops, and seminars. Furthermore, Dr. Arceri has been invited to the distinguished Dagstuhl Seminars in 2023 and 2025, gatherings known for shaping the future of computer science research. These invitations underscore his standing as an expert in abstract interpretation and static analysis. Collectively, these accolades reflect his academic rigor, groundbreaking contributions, and the international recognition he has garnered for advancing software reliability and security.
Research Focus
Dr. Vincenzo Arceri’s research centers on the application of abstract interpretation to improve the security, reliability, and correctness of software systems. He has dedicated his career to advancing static program analysis for a wide range of programming paradigms, from dynamic languages such as JavaScript and PHP to domain-specific blockchain applications. His work also addresses the challenges of analyzing unsafe Rust code and verifying smart contracts in Go and Ethereum. Notably, he has developed LiSA, a multilanguage static analysis framework, and EVMLiSA, a static analyzer tailored to EVM bytecode, demonstrating his ability to merge theoretical rigor with practical implementations. His recent projects explore the safety of LLM-generated code, aiming to ensure that AI-driven programming integrates robust security principles. By balancing precision and performance in static analysis, Dr. Arceri’s work provides a critical foundation for future-proof software engineering, cross-blockchain applications, and secure AI-integrated development practices.
Publications
-
Static analysis for dummies: experiencing LiSA.
-
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval.
-
LiSA: a generic framework for multilanguage static analysis.
-
Static Program Analysis for String Manipulation Languages.
-
Static analysis for ECMAScript string manipulation programs.
-
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
-
Information flow analysis for detecting non-determinism in blockchain.
-
Twinning automata and regular expressions for string static analysis.
-
Abstract domains for type juggling.
-
Relational string abstract domains.
Conclusion
Dr. Vincenzo Arceri exemplifies the qualities of a modern computer scientist—innovative, collaborative, and deeply committed to advancing the reliability of digital systems. His work bridges theory and practice, from foundational contributions in abstract interpretation to impactful tools for blockchain verification and AI-generated code analysis. With a growing body of influential publications, awards, and teaching contributions, he stands as a leading researcher shaping the future of secure and dependable software systems.