Home

Computer scientist with a focus on static and dynamic program analysis, malware analysis, and cyber-security.

I recently graduated with a Ph.D. in Computer Science at the University of Verona, Italy. I am advised by Professor Roberto Giacobazzi. 

My current work is towards building a mathematical framework that standardizes how we approach computing approximate solutions to non-computable problems. Specifically, I've studied the approximations used by Program Analysis and Machine Learning researchers. My work is the first to demonstrate a strong correlation in the approximations in Abstract Interpretation (a method for specifying sound program analysis techniques) and Supervised Machine Learning algorithms. An interesting result here was expressing widening (an abstract interpretation construct) as a learning theory problem.

Mathematically connecting these two theories that have been developed independently over the last several decades, will help develop new ways to attack programs, defend programs and bring security into AI systems.

I have also worked in reverse engineering, dynamic analysis, and malware classification. My research led to the creation of VirusBattle - an automated cloud service for extracting intelligence from large malware repositories. The technology has since been licensed to Cythereal Inc. for commercialization.