Mario M. Alvarez 简介
Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程,论文顾问是 Ranjit Jhala。他自 2017 年以来,一直在 ConsenSys 工作,担任正式的验证研究员。他的研究兴趣集中在软件验证上,主要使用交互式定理证明,如 Isabelle 和 Coq 等。
Mario M. Alvarez 相关信息
Aleks Larsen
Blockchain Capital 投资研究分析师。
Pedro Ivo Bruder
固执己见的研究分析师。
MIT Cryptoeconomics Lab
在新兴的加密经济学领域,推动前沿研究。
Eric Stone
Flipside Crypto 数据科学主管。
Sonar
追踪 Solana 区块链上的流动性池收益表现。
Brad Vaivoda
独立的加密与区块链研究分析师。
CryptoQuant
用机器学习为机构投资者提供全面的链上数据分析。
Gleb Dudka
加密资产与协议的分析师,加密经济学、通证设计师。
Crypto Fees
用户实际付费使用的加密项目列表。