• Created a compiler to enable constant inter-verifier communication for zero knowledge proofs on secret shared data. Used this compiler to augment Prio, a private analytics platform, by enabling batch sanitization of client input. Additionally applied this compiler to create a state-of-the-art solution to the private approximate heavy hitters problem.

• Implemented solution in Rust and Tokio and evaluated solution on Azure and GCP. Achieved 2-3x verifier speedup over previous heavy hitters solutions.

Backend Intern with the Athlete Services team. Developed new cosmetics for draggable / zoomable maps, while optimizing for both aesthetics and render speed. Collaborated closely with frontend, Android, and iOS engineers to develop an API contract.

Used Go, Spring Boot Java, and Couchbase to create a testing tool for replaying credit card transactions. Wrote thorough tests and communicated effectively in an Agile scrum team with 5 other interns.