Biography
I am a Software Engineer at Lacework. Before joining Lacework, I was a Software Engineer Intern at Meta, and before that, a PhD Student in Computer Science at University College London (UCL) under the supervision of Prof. Benjamin Kaminski and Prof. Alexandra Silvia. 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 - Suspended
University College London (UCL)
MSc in Computer Science, 2019 - 2020
University of Padua
BSc in Computer Science, 2017 - 2019
University of Padua