长按上方二维码3秒识别二维码

Mario M. Alvarez

Mario M. Alvarez

ConsenSys 研究分析师。

Mario M. Alvarez 简介

Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程,论文顾问是 Ranjit Jhala。他自 2017 年以来,一直在 ConsenSys 工作,担任正式的验证研究员。他的研究兴趣集中在软件验证上,主要使用交互式定理证明,如 Isabelle 和 Coq 等。