Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Mario Romero Zavala
Revert 创始人。
Gabriel Tan
Spartan Group 投资分析师。
EOS Network Monitor
东欧领先的超级节点竞选者 CrypoLions 开发的 EOS 竞选排名检测。
EthView
DeFi 仪表盘。
BlockSeer
致力于区块链的分析和取证。
Noelle Acheson
CoinDesk 加密机构的产品负责人。
李嵩声
Quantstamp 研究工程师。
Elliptic
为金融与执法机构辨识比特币与区块链上的非法活动。
IEX Cloud
使用财务数据的最简单方法。