About

I am a Software Engineer at Pure Storage, where I build software to protect data on extremely fast hybrid cloud systems.

Besides software engineering, I am interested in design methodologies for cyber-physical systems, the Internet of Things, and machine learning.

Earlier, I was a Research Scientist with the Camozzi Group and a Visiting Industrial Fellow at the ICyPhy Research Center @ UC Berkeley, where I designed and built advanced solutions for industrial automation and the Industrial Internet of Things.

In 2018, I earned a PhD in Electrical Engineering and Computer Sciences at the University of California, Berkeley, with a dissertation titled “A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications”. At Berkeley, I was advised by Prof. Alberto Sangiovanni-Vincentelli.

I got both my BS and my MS in Rome, Italy, at University of Rome “Tor Vergata”, advised by Prof. Daniel Pierre Bovet.