Biography
I am a Founding Engineer at Meticulous AI and a PhD Candidate at University College London (UCL) under the supervision of Prof. Benjamin Kaminski and Prof. Alexandra Silvia. Before joining Meticulous, I was a Full Stack Production Engineer at Meta, and before that, a Senior Software Engineer at Lacework (acquired by Fortinet). I was born in Italy, where I have obtained my MSc in Computer Science at University of Padua two years early.
Interests
- Static Program Analysis
- Quantitative Verification
- Machine learning and Verification
Education
PhD in Computer Science, 2020 - 2025 (est.)
University College London (UCL)
MSc in Computer Science, 2019 - 2020
University of Padua
BSc in Computer Science, 2017 - 2019
University of Padua
Professional Experience
Founding Engineer
Full Stack Production Engineer
- Improved data quality & reliability in Monetization Capacity
- Top diff contributor across PE and cross-functional SWE teams in H2 2024 (despite working only three months) and H1 2025, progressing toward a promotion in H1 2025.
Senior Software Engineer
Led Software Composition Analysis (SCA).
Designed and Implemented critical infrastructure for Code Security.
Achieved 2000x faster Ingestion pipeline; 10x faster analysis; up to 50x faster UI backend.
Software Engineer Intern
Static Analysis Tools Team (akas Infer).
Reduced false positive rates of C++ null pointers detection by over 60%.