Back to advisors

About

My research is at the intersection of systems, programming languages, and security. Right now, I'm very interested in compilation: recent projects include verified pieces of browser just-in-time compilers and compilation infrastructure for cryptographic applications. I also like finding bugs in real systems.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.