Biography
I am a Full Stack Production Engineer at Meta and a PhD Candidate at University College London (UCL) under the supervision of Prof. Benjamin Kaminski and Prof. Alexandra Silvia. Before joining Meta, I was a Senior Software Engineer at Lacework where I led Software Composition Analysis, and before that, a Software Engineer Intern at Meta. 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 - 2024 (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
Full Stack Production Engineer
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%.