I’m a PhD candidate at the University of Pennsylvania advised by Sebastian Angel, where I build zero-knowledge proof systems. I designed and performance-optimized the provers and circuits behind Reef (USENIX Security 2024) and Coral (IEEE S&P 2026), working primarily in Rust and C++. My current focus is using cryptographic tools, including zero-knowledge proofs, to make AI systems auditable and accountable. I’m always open to collaboration or discussions about cryptography, privacy, and security — feel free to reach out!

Before starting my PhD I spent 3 years as a Security Engineer at Meta, building company-wide insider-threat and abuse-detection tooling. During my Master’s at Duke University I was fortunate to work on differential privacy with Ashwin Machanavajjhala and Charles Becker; I completed my Bachelor’s at Stanford. I’m originally from New Orleans and spend my free time rowing with Vesper Boat Club and Team USA.

Fast, succinct zero-knowledge proofs for context-free grammars. Designed and performance-optimized the prover and circuits. [paper] [code]

Fast, succinct zero-knowledge proofs of regular-expression matching. Built and performance-tuned the prover. [paper] [code]

A planner for massive-scale federated analytics with differential privacy. First author. [paper] [code]