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.
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