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. Lately I’ve thinking about proof systems, distributed systems, and privacy.

I’m 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