I am a PhD candidate at Northeastern University in the NEU SecLab, advised by Engin Kirda. I also work as a visiting researcher at the IMDEA Software Institute under supervision of Marco Guarnieri.

My primary research interests lie in the intersection of program analysis and formal methods. Specifically, I am interested in developing techniques to mitigate classes of vulnerabilities in software while simultaneously enabling formal reasoning about desired properties.