CV

• 2024: Pivoted into supplyco.ai, cofounded 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, to allow smart contracts to make assertions about how they are being MEV’d.
• 2023: Collaborated with Lev Stambler and Rodney Yesep to implement a ZK-enabled private DeFi swap protocol called P1nch (private 1inch). Used batch blinding and mixing for privacy- somewhere between the design of Penumbra and ZCash.
  • Design presentation here- we won the Zuzalu ZK hackathon!
  • Also implemented a circom implementation of the Blake3 hash function with Lev, intended for use in the decentralized CDN described above.
• 2023: Led implementation of a partial open-source rewrite of the Barretenberg PLONK prover and gadget library to Rust (incomplete, with Waylon Jepsen).
• 2022-2024: Founded Banyan, discussed on my homepage.
  • Wrote this op-ed on decentralized cloud adoption.
  • Built a private fileshare that uses the filesystem in the browser or locally.
  • Built a filesystem that provides various cryptographic guarantees about the provenance and privacy of the data inside it.
  • Went to market as enterprise cloud archival backup offering.
  • Gave a talk in Reykyavik on the status and difficulties of going to market with a decentralized cloud offering.
  • Did a significant amount of research on game-theoretic designs for decentralized CDN incentive, gave a talk about it in Brussels.
• 2021-2022: Filecoin engineer on FVM and the node software/core runtime
• 2021-2022: Critical Philosophy student at The New Centre for Research and Practice (founded a company and wasn’t able to finish the program)
• 2021: DeFi freelance period. Implemented the Berlin hard fork of HEVM. Also did mechanism design, cryptography auditing, and 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, Natural Language Processing (implemented transformers, classifiers, syntax inference algorithms), Computational and Statistical Learning Theory.
  • Did research on visualizing generalization in deep neural nets by studying how mistaken labeling in one class impacts error rate in other classes. Made a poster and a paper draft.
• 2020: Trail of Bits Cryptography auditor and ZK researcher on DARPA SIEVE grant.
  • I wrote a compiler that turned LLVM IR into arithmetic circuits (not public)
  • And some rust security tooling.
• 2016-2020: UChicago undergraduate - CS and one final short of math. Left to pursue an opportunity as engineering lead at one of my freelance clients. Did some research using t-SNE to cluster Bitcoin wallets for chainalysis in 2018.
• summer 2019: Jane Street SWE/security internship (including writing Noise/part of Wireguard in OCaml- see my Github)
• summer 2018: Dropbox cybersecurity internship
• 2017-2020: TA for honors intro algorithms in C, graduate distributed systems, and introductory Python for non-majors at UChicago.
• 2017-2020: Captain of Burton-Judson for UChicago Scav (world’s largest scavenger hunt). Led 50+ participants coordinating intercontinental logistics, engineering projects (working catapults, rideable carousel), and creative builds. Co-captained with Meredith Thornburgh.
• 2017-2020: Sysadmin and IT roles, including on the UChicago Midway supercomputer
• 2017-2020: Gave network security, blockchain, and offensive security workshop talks to undergrads.
• 2016-2017: Wolfram Algorithms R&D Intern, Signal Processing and Digital Image Processing
• 2015-2016: Accelerator Physics research at UMD/IREAP, on the UMER electron ring (slides) and Rutgers 12” Cyclotron (slides, paper)
• 2013-2016: TJHSST (graduated with a 4.2 GPA)
  • 3rd place nationally in PicoCTF 2013, 1st place at MetroCTF 2014,and a lot of others
  • Briefly (with friends) held the record for the fastest Class-B speedrun of the DC Metro (7 hours, 12 minutes)
  • Member of TJHSST Sysadmins, administered 50 Gentoo workstations for use in the TJ CSL.
  • Second-chair cellist in AYSO.
  • Coursework included quantum physics, thermodynamic calculus, discrete math, and computational physics (simulated inspiral black hole collisions on a supercomputer).
  • Rowed a pretty speedy 7:41 erg 2K
• 2011-2013: SHAPE American High School (Mons, Belgium)
  • Ambassador of El Salvador at THIMUN (The Hague International Model United Nations)
  • Participant, Stages de Musique Dinant International Music Academy, Cello
  • Creative Connections Fine Arts workshop (Oberwesel am Rhein, Germany), first chair cello, soloist
  • Varsity letters in swimming and softball