Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Token Analyst
链上数据的深度耕耘。
One Alpha
数字资产研究与数据智能分析。
Shelby Thomas
prysm 联合创始人。
Alex Obadia
Cambrial Capital 研究分析师。
intotheblock
给出加密与区块链市场分析、见解和交易信号。
Pablo Sabbatella
Exactly 业务增长主管。
Kevin Kim
前 Intrepid Ventures 研究分析师。
Mira Christanto
Messari 数据分析师。
Novum Insights
为行业趋势做好准备。