Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Marc Beunardeau
Nomadic Labs 密码学专家。
Kei Kreutler
GNOSIS 策略总监。
CQ.Live
面向加密交易员和比特币期货投资者的数据平台。
Lunokhod
交易量分析，衡量给定市场活动的重要指标。
Cointegra
智能经济的投资研究生态系统。
Alex Svanevik
D5 联合创始人、数据科学家。
Alex Gedevani
Delphi Digital 研究助理。
Rahul Dalmia
前 J.P. Morgan 量化策略师、研究员。
Daniel Krawisz
MatterPool 创始人。