About Me

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.

I'm fortunate to be advised by Clark Barrett and Dan Boneh.

Before graduate school I taught computer science and math for a year at a boarding school in Connecticut.

I did my undergrad at Harvey Mudd, where I studied Computer Science, Math, and Physics. I learned a lot there, and believe deeply in the ideals that the institution aspires to.



Office: Gates 439