Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Marco Marchioro
去中心化交易基金 DEXTF 首席科学家。
hive.one
从前的 cryptoinfluencers 影响力算法。
Nakamoto & Turing Labs
区块链与 AI 咨询、投资、教育。
Kanstantsin Tsiulmenkou
创建和管理 Atomica 技术文档。
ETH Gas Station
查看以太坊最新区块 Gas Limit 设置的网站。
Larry Cermak
The Block 首席分析师。
Jonathan Knegtel
Blockdata 联合创始人兼首席执行官。
BTC on Ethereum
汇总以太坊上主流 BTC 的数据信息。
Evgeny Medvedev
谷歌云的核心开发工程师。