Vincenzo Arceri
Assistant Professor (non-tenure Track) at Università degli studi di Parma
Parma, Emilia-Romagna, Italy
Summary
👤
Senior🎓
Top SchoolVincenzo 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
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Università degli Studi di VeronaPerito commerciale - informatico, MERCURIO (Ragioniere Programmatore), 73/100, Perito commerciale - informatico, MERCURIO (Ragioniere Programmatore), 73/100 at ITCG Bazoli - Polo
English, Italian
Github Skills (31)
static-analysis10
formal-methods10
modular10
semgrep10
abstract-syntax-tree10
analyzer10
ssa10
cybersecurity10
abstract-interpretation10
java10
grammar10
grammars10
source-code-analysis10
parser-generator10
blockchain10
Programming languages (4)
Github contributions (5)
VincenzoArceri/bash-virus
May 2016 - Oct 2017
Contributions:7 commits, 6 pushes in 1 year 5 months
VincenzoArceri/vincenzoarceri.github.io
Apr 2020 - Jan 2025
Contributions:81 pushes in 4 years 9 months
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.