I work at the intersection of research and engineering, formerly at Protocol Labs, Mysten Labs, Novi and Dapper Labs.
- 🔬 I recently completed a Coq proof of the LibraBFT consensus algorithm safety (proof, talk, slides).
- 📖 I co-wrote a book on Streaming with Apache Spark (the book, the code examples repository).
