About Me

The goal of my research is to develop principled methods to build secure systems. My research interests span Security and Programming Languages and I am actively involved with both research communities.

In my work, I apply programming language techniques (type systems, compilers, program analysis and verification) to build software systems with reliable security guarantees. Currently, I am excited to work on language-based security (memory safety, constant-time programming, and information flow control), defenses against microarchitectural attacks, and WebAssembly.

I completed my PhD in Computer Science at Chalmers University of Technology under the supervision of Alejandro Russo. Before joining Utrecht University, I was a visiting assistant professor at Stanford, a postdoctoral researcher at CISPA Helmholtz Center for Information Security and a member of the CISPA-Stanford Center for Cybersecurity.