Francois-Rene Rideau

François-René Rideau 是 Mutual Knowledge Systems 聯合創始人兼首席執行官，爲區塊鏈研究第二層解決方案，已在編程和分佈式系統方面探索了二十多年時間。他曾任 ITA Software 高級工程師，也曾在 Google、Bridgewater Associates 工作過。他維護和重寫了 Common Lisp 開源社區的核心構建系統 ASDF，發表過很多學術論文，並在編程語言會議上演講。在職業生涯的早期，他在 Coq 證明了（集中式）支付協議的正確性。