I'm a Senior Security Engineer at AWS in New York City. I completed my PhD in Computer Science at the Cybersecurity & Privacy Institute at Northeastern University, where my research focused on programming languages and compilers for security.
My research interests are in program analysis, compiler design, and formal methods. Recently, I've been applying these techniques to WebAssembly — building tools for analyzing and transforming Wasm modules for security and correctness. I've also been working as a visiting researcher at the IMDEA Software Institute on formal techniques for synthesizing microarchitectural leakage contracts.