About Me

Photo by Veronica

I’m a PhD student at Stanford, studying computation as a medium for machine instruction and human expression. My research interests span cryptography and formal methods.

Most of my work is done with the applied cryptography group or the center for automated reasoning. 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.

Before that, I completed an independent program of studies at Harvey Mudd. I learned a lot there, and I believe deeply in the ideals that the institution aspires to.


Office: Gates 178