Insert picture of me.

I'm a first year Ph.D. student in Computer Science at the University of Illinois Urbana-Champaign, generously supported by an NSF Graduate Fellowship. I work with Andrew Miller in the Decentralized Systems Lab.

My research focuses on developing a theory and practice of compositionality for provable security. That is, I combine techniques from cryptography, programming languages, and formal verification to develop new forms of abstraction and modularity for building security-critical software.