CV

• 2024: Cofounded supplyco.ai with Jannik Wiedenhaupt to build tools for industrial capital goods sales and go-to-market teams.
• 2024: Designed and implemented a library for EVM smart contracts that enables transactions to introspect and make assertions about their execution context, so smart contracts can reason about how they are being MEV’d.
• 2023: Collaborated with Lev Stambler and Rodney Yesep to implement a ZK-enabled private DeFi swap protocol, P1nch (private 1inch). Used batch blinding and mixing for privacy — somewhere between Penumbra and ZCash.
  • Design presentation; we won the Zuzalu ZK hackathon. Also implemented a circom Blake3 with Lev, intended for the decentralized CDN below.
• 2023: Led implementation of a partial open-source Rust rewrite of the Barretenberg PLONK prover and gadget library (incomplete, with Waylon Jepsen).
• 2022–2024: Founded Banyan, a decentralized cloud storage platform.
  • Built a filesystem providing cryptographic guarantees about data provenance and privacy, and a private fileshare on top of it.
  • Went to market as enterprise cloud archival backup.
  • Wrote this op-ed on decentralized cloud adoption.
  • Gave a talk in Reykjavík on going to market with a decentralized cloud offering, and a talk in Brussels on game-theoretic incentive design for a decentralized CDN.
• 2021–2022: Filecoin engineer on FVM and the node software / core runtime.
• 2021: DeFi freelance. Implemented the Berlin hard fork of HEVM; did mechanism design and cryptography/Solidity auditing for several startups.
• 2020–2022: Contributed to the Urbit ecosystem in cryptography, networking, security auditing, and OS design.
• 2020–2021: UChicago Master’s in machine learning (theory focus). Left to pursue opportunities in DeFi.
  • Coursework: Fundamentals of Deep Learning, NLP, Computational and Statistical Learning Theory.
  • Research on visualizing generalization in deep neural nets — how mistaken labeling in one class impacts error rate in other classes (poster, paper draft).
• 2020: Trail of Bits cryptography auditor and ZK researcher on DARPA SIEVE. Wrote a (non-public) compiler from LLVM IR to arithmetic circuits, plus Siderophile Rust security tooling.
• 2016–2020: UChicago undergraduate, CS and one final short of math. Left to take an engineering lead role at a former freelance client. Sysadmin and TA roles throughout (honors intro algorithms in C, graduate distributed systems, introductory Python).
• 2017–2020: UChicago Scav captain for Burton-Judson (second-largest team in the world’s largest scavenger hunt). Led construction, from lumber/rope/nails/saws/drills, of six recursive catapults (a catapult that throws a catapult that throws a catapult…) and an AC/DC-themed Dante’s Inferno sixth-circle carousel that smoothly spun two large adult men.
• summer 2019: Jane Street SWE/security intern (including writing Noise/part of Wireguard in OCaml — repo).
• summer 2018: Dropbox cybersecurity intern.
• summer 2017: AFRL cybersecurity intern, Rome NY, under Dr. Kamal Jabbour. Offensive cybersecurity training alongside military personnel (SCADA, webapp, network protocol exploitation); won internal war-games competitions. Research on distributed security of the GPS constellation and on physically unforgeable functions; drafted a paper on Bitcoin as a solution to the Byzantine Generals Problem for autonomous-agent coordination.
• 2016–2017: Wolfram Algorithms R&D intern, signal and image processing.
• 2015–2016: Accelerator physics research at UMD/IREAP — magnet steering experiments on the UMER electron ring (slides) and synchrocyclotron emulation on the Rutgers 12” cyclotron (slides, paper).
• 2013–2016: TJHSST. Early competitive cybersecurity — 3rd nationally in PicoCTF 2013, 1st at MetroCTF 2014.