About Me
I will be an assistant professor at Georgia Tech’s School of Cybersecurity and Privacy in the College of Computing in 2026. I am recruiting students and postdocs to start in fall 2026.
I am currently a postdoc at the Max Planck Institute for Security and Privacy in Bochum, Germany.
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 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:
- Satisfiability Modulo Finite Fields [CAV'23]
- Collaborative zkSNARKs: Zero-Knowledge Proofs for Distributed Secrets [USENIX'22]
- CirC: Unifying Compilers for SNARKs, SMT, and More [Oakland ‘22]
- all papers
Contact
Email: hover
Office: MB-5/187, Max Planck Institute for Security and Privacy