About Me

I’m a PhD student at Stanford. I use cryptography, compilers, and automated reasoning to build secure systems. More broadly, I’m fascinated by computation: a grand compromise between machine instruction and human expression.

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 at Loomis Chaffee in Connecticut.

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

Contact

Email: hover
Office: Gates 178