Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Dan Kleiman
Flipside Crypto 数据工程主管。
Sergei Chan
BlockScience 研究分析主管。
DoxyChain
用于文档数字化和管理的基础架构。
Eddy Lazzarin
a16z Crypto 数据科学家。
Tilen Drzan
Block Analitica 数据研究分析师。
Jacob Phillips
Autonomous Partners 专注于加密的分析师。
hive.one
从前的 cryptoinfluencers 影响力算法。
Ittai Abraham
VMware 资深分析师。
CoinMap
可使用比特币的世界地图。