Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Joshua Jodesty
BlockScience 首席数据工程师。
Hannah Lynch
德勤 Deloitte 区块链分析师。
Alethio
为所有人解锁以太坊的区块链数据。
MIT Cryptoeconomics Lab
在新兴的加密经济学领域，推动前沿研究。
Galaxy Digital Research
由 Galaxy Digital 支持的数据分析研究。
Georgios Konstantopoulos
Paradigm 研究合伙人。
Gnana Lakshmi
Women Who Code 区块链方向的首席研究员。
51Crypto
发起 51％ 攻击的理论成本核算。
Eui Joon Lee
C-Link 研究团队分析师。