I am a PhD student at UC Berkeley. My advisor is Prof. Alberto Sangiovanni-Vincentelli. My research is focused on design methodologies of cyber-physical systems. More in detail, I am particularly interested in dealing with the problem of scalable software synthesis for cyber-physical systems.
I got both my BS and my MS in Rome, Italy, at University of Rome "Tor Vergata", advised by Prof. Daniel Pierre Bovet.
My research is funded in part by the NSF project ExCAPE: Expeditions in Computer Augmented Program Engineering, by IBM and United Technologies Corporation (UTC) via the iCyPhy consortium, and by TerraSwarm project.