CV

Education

Oct 2023 - Aug 2024: Cryptographic Software Engineer at Irreducible
- Contributed to the Rust open source Binius repo (state-of-the-art SNARK proof system)
- Wrote first iteration of core protocols
- Optimized various cryptographic algorithms, including Lookup Arguments, Zerocheck, Sumcheck, GKR, NTT, FRI
- Wrote internal Python models to provide hardware teams with clear specifications for accelerating bottlenecks in proof generation
- Hosted regular lectures and office hours to teach cryptography concepts to hardware and system software engineers
- See my Binius commits here
July 2022 - July 2023: Senior Software Engineer at Proven Tools
- Founding Engineer (first employee)
- Developed a Zero-Knowledge Proof of Solvency solution that allows an institution (e.g. crypto exchange) to prove that their total assets (digital and/or fiat) exceed their total liabilities without revealing any private information
- Wrote and maintained some of the world’s largest ZK-SNARK circuits in production
May 2021 - July 2022: Software Engineer at Two Sigma Securities
- Trading Engineer on the Wholesale Market Making (WMM) team
June 2020 - Feb 2021: Software Engineer at Clumio
- Backend Team: Database Cloud Protection (Backup and Recovery)

** Carnegie Mellon University **

CS251: Great Ideas in Theoretical Computer Science (Spring 18, Fall 18, Fall 19, Spring 20)
- Head Teaching Assistant for Fall 19 and Spring 20