Vincenzo Arceri
Research Scientist at University of Parma
Parma, Emilia-Romagna, Italy
Summary
👤
SeniorVincenzo Arceri is an Assistant Professor (non-tenure track) at the University of Parma with 11 years of experience specializing in static program analysis, string analysis, and formal methods for security. He holds a PhD from the University of Verona for work on abstract-interpretation-based static analysis of strings in dynamic languages and has applied those techniques to real-world targets like PHP and Go, including blockchain-related analyses. His background includes a postdoc at Ca’ Foscari Venezia, a UROP at Imperial College, and practical work integrating K Frameworks and data-flow analyzers, reflecting a blend of theory and tool-building. Vincenzo’s research often focuses on taming dynamic language features through relational analyses, and he brings both teaching and hands-on implementation experience to security-oriented verification problems. A detail that sets him apart: he combines formal semantics insights (from early work on JavaScript separation logic) with applied static-analysis tooling for modern ecosystems.
11 years of coding experience
Github Skills (28)
cosmos-sdk10
static-analysis10
formal-methods10
control-flow-graph10
analyzer10
cybersecurity10
abstract-interpretation10
java10
grammars10
go10
blockchain10
static-analyzer10
golang10
smart-contracts10
frontend10
Programming languages (6)
Github contributions (5)
VincenzoArceri/vincenzoarceri.github.io
Apr 2020 - Jan 2026
Contributions:87 pushes in 5 years 10 months
SPY-Lab/mu-js
Apr 2018 - Apr 2020
Contributions:65 commits, 89 pushes, 6 branches in 2 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.