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. Lately I’ve thinking about proof systems, distributed systems, and privacy.
Before graduate school I taught computer science and math for a year at a boarding school in Connecticut.
Office: Gates 439