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.

My research mission is to make provable security more meaningful and cost-effective to achieve in practice. 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.