Research interests

My research interests are in software verification and in building reliable and secure software systems using techniques, including machine learning, deep neural networks with TensorFlow, numerical optimization, SAT solvers, code-to-code translation, and formal methods.

Curriculum Vitae

You can download a copy of my Curriculum Vitae here.

Current Academic Position

I am a PostDoc in the PAC research group, where we develop and implement distributed model checking algorithms to find bugs in concurrent programs. The project is partially supported by Amazon Research Awards - “Program Analysis in the Clouds (PAC): a distributed symbolic algorithm to scale up bug-finding in concurrent programs” (PI: Gennaro Parlato).

Education

I got a PhD at IMT Lucca (Lucca, Italy) under the supervision of Mirco Tribastone and Emilio Incerto, where I worked on three techniques to automatically derive white-box or gray-box performance models for microservice architectures (MSA) using system profiling, code analysis, deep neural networks, and queuing networks. I got a MSc and a BSc in Computer Science at Università degli Studi di Torino (Turin, Italy).

Software and Tools developed

• Approximate Method for Program Analysis in CBMC
• PAC: Program Analysis in the Clouds
• μP: A Development Framework for Accurate Performance Predictions in Microservices Systems
• GoAt: Attribute-based Interaction in Google Go
• GreatSPN: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets

Publications

You can find an updated list of publications on my dblp page.