👋 Hi, I'm François Garillot.
I work at the intersection of research and engineering, currently at Mysten Labs, formerly at 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).