I'm a PhD student at Stanford, studying computation as a medium for machine instruction and human expression. I enjoy writing proofs and building computer systems, sometimes simultaneously.
My research interests span cryptography, formal methods, and distributed systems. Lately I've thinking about proof systems and privacy.
Before graduate school I taught computer science and math for a year at a boarding school in Connecticut.
Office: Gates 439