About Me
I am second-year PhD student in Computer Science at Brown University. I work in the PLT group, and am advised by Shriram Krishnamurthi.
My current research interests are in formal verification and usable security. I am particularly interested in how to apply formal techniques to usable security to enable developers to design better systems.