Mario M. Alvarez

Mario M. Alvarez 是 ConsenSys 研究分析師、加州大學聖地亞哥分校的計算機科學博士候選人。他於 2014 年秋季開始了博士課程，論文顧問是 Ranjit Jhala。他自 2017 年以來，一直在 ConsenSys 工作，擔任正式的驗證研究員。他的研究興趣集中在軟件驗證上，主要使用交互式定理證明，如 Isabelle 和 Coq 等。