👋 Hi, I'm François Garillot.
I work at the intersection of research and engineering, most recently at Novi (formerly known as Calibra) on Libra.
🔬 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).
