About Me

I am an assistant professor at Georgia Tech’s School of Cybersecurity and Privacy the College of Computing. I am recruiting students and postdocs.

I am excited about making computation more private and secure. Towards this goal, I combine ideas from cryptography, compilers, and automated reasoning. I’m especially interested in the full stack for programmable cryptosystems (such as zero knowledge proofs and multiparty computation).

Previously, I visited the Max Planck Institute for Security and Privacy. Before that, I got my PhD at Stanford, advised by Clark Barrett and Dan Boneh. Before that, I taught high school math and computer science at Loomis Chaffee. Before that, I attended Harvey Mudd College and Mira Loma High School.

Selected papers (all papers):

• Satisfiability Modulo Finite Fields
• Collaborative zkSNARKs: Zero-Knowledge Proofs for Distributed Secrets
• CirC: Unifying Compilers for SNARKs, SMT, and More

Contact

Email: hover
Office: Coda, S-0907