Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
OKLink
OKEx 打造的区块链信息服务网站。
Privacy & Scaling Explorations
以太坊基金会支持的团队之一。
Eui Joon Lee
C-Link 研究团队分析师。
CQ.Live
面向加密交易员和比特币期货投资者的数据平台。
Ihab McShea
理论计算机科学家、数学家。
Garrick Hileman
Blockchain 研究主管，Mosaic 联合创始人。
Fundstrat
知名分析师 Tom Lee 创办。
Wilson Withiam
Messari 研究分析师。
Lars Bakke Krogvig
Nansen 首席数据工程师。