I work at the intersection of research and engineering, currently focused on advancing zero-knowledge proofs and their applications in blockchain technology.

• 📖 I co-wrote a book on Streaming with Apache Spark (the book, the code examples repository).
• In 2021, I completed a Coq proof of the LibraBFT consensus algorithm safety (proof, talk, slides).
• 🔬 I worked on Lurk, a Lisp-based language for recursive zkSNARKs.
• 🌐 Exploring new paradigms for blockchains.

Previously, I worked at at Argument, Protocol Labs, Mysten Labs, Novi/Meta and Dapper Labs.