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 (constant-time programming, memory safety, and information flow control), software defenses against Spectre and side-channel attacks, and software isolation and sandboxing (especially in WebAssembly).
Open Positions. Are you excited about using compilers, program analysis, and verification techniques to make systems more secure? Get in touch! I would be happy to chat about research and PhD opportunities.