长按上方二维码3秒识别二维码
François-René Rideau 是 Mutual Knowledge Systems 联合创始人兼首席执行官,为区块链研究第二层解决方案,已在编程和分布式系统方面探索了二十多年时间。他曾任 ITA Software 高级工程师,也曾在 Google、Bridgewater Associates 工作过。他维护和重写了 Common Lisp 开源社区的核心构建系统 ASDF,发表过很多学术论文,并在编程语言会议上演讲。在职业生涯的早期,他在 Coq 证明了(集中式)支付协议的正确性。