Currently I reside in Salt Lake City (Utah) and I am enrolled in the CS PhD program at the University of Utah. I work at SOARlab reasearch group, headed by my advisor Zvonimir Rakamaric. My research insterest is program analysis, with a particular focus on approximate computing.
Recently, I have been a research assistant at Imperial College London, where I worked with George Constantinides. At the beginning of 2019, I interned at Max Planck Institute (Kaiserslautern, Germany) under the supervision of Eva Darulova and Rupak Majumdar. In Fall 2018, I completed an internship at NASA Langley Center (VA, USA), where I worked with Laura Titolo and Cesar Munoz.
I earned my bachelor's and master's degrees in Computer Science at University of Venice in my native Italy. I studied under the supervision of Agostino Cortesi. Upon graduating I became employed at Julia in Verona, Italy (until July 2017). While at Julia, I primarily worked in static analysis of Java bytecode through abstract interpretation, with a particular focus on the analysis of Android applications.