基本信息
Yu Feng 是加州大学圣塔芭芭拉分校（UCSB）计算机科学系的助理教授。 他与他人共同创立了 Veridise，这是一家加密安全领域领先的初创公司。 冯教授因其对该领域的贡献而获得了著名的学术奖项，包括顶级形式方法（PLDI’18、PLDI’22）、软件工程（ASE’20）和人机交互（CHI’21）的最佳论文奖。 他还是谷歌学院奖、以太坊学术奖等多项奖项的获得者。
教育经历
关联人物
Hongbo Wen
Hongbo Wen 是 Nubit 的联合创始人。 他是 UCSB 的大四博士生（在假），拥有清华大学学士学位。 他在区块链安全方面的研究发现了许多零日漏洞和普遍的缺陷模式，特别是在智能合约和零知识证明（ZKP）电路中。 他的著名工作包括在 USENIX Sec '24 上发表的有关识别 ZKP 电路中错误模式的开创性论文“ZKAP”。
Hanzhi Liu
Hanzhi Liu 是 Nubit 联合创始人。 他是 UCSB 的博士生（在休假），拥有上海交通大学的学士学位。 他的研究重点是程序验证、语言语义和编译器优化。 他为以太坊基金会 PSE 的大多数项目编写了正式证明，并发现了许多零日漏洞。 他撰写了一篇关于认证 ZKP 电路的著名论文，已被 S&P 2024 接受，并致力于减轻链上攻击。
Isil Dillig
Isil Dillig 是 Veridise 的联合创始人兼总裁。她是德克萨斯大学奥斯汀分校计算机科学教授.
Spencer Bogart
Spencer Bogart 是 Blockchain Capital 的普通合伙人，领导公司的研究工作。Spencer 是一位基本面投资分析师，在分析加密货币和传统股票机会方面拥有罕见的丰富经验。Spencer 于 2017 年 2 月加入该机构。在加入 Blockchain Capital 之前，Spencer 是 Needham & Company 的副总裁，在那里他撰写了华尔街的第一份行业报告，重点介绍了区块链技术的用例、公司和潜力。除了在 Needham & Company 期间领导所有与加密货币和区块链相关的研究工作外，Spencer 还研究了公共 SaaS、金融科技和互联网公司，撰写了有关这些行业的报告，并发布了所研究公司的价格目标。Spencer 是 CFA 特许持有人，拥有 UCSB 的经济学学位，喜欢在爱尔兰和加利福尼亚与家人共度时光。
Jesse Eisenberg
Jesse Eisenberg 是DLC.Link 的首席技术官。他毕业于加州大学圣巴巴拉分校。
Mikko Ikola
Mikko Ikola 是 Veridise 的营销主管，此前他曾是 Taiko 的通讯主管和 t2.world 的CMO。他毕业于阿尔托大学和复旦大学。
Joe Gerber
Joe Gerber 是 IDEO CoLab Ventures 创始人，此前是 Fidelity Investments 高级产品经理。
Colin Goltra
Colin Goltra 是 YGG 前首席运营官，此前是币安 SEA 负责人，主要专注于通过 Binance 在菲律宾和东南亚扩展加密市场、准入和基础设施。他是来自旧金山的菲律宾裔美国技术专家，主要在马尼拉工作，关注东南亚地区的加密市场。此前，他在 Coins.ph 管理团队任职，领导运营、产品开发等工作流程，将用户群从几十万增长到超过 700 万，并基于菲律宾的金融包容性在区块链开发方面取得了重大进展。他在 2019 年公司被 Gojek 收购以后离职。 他自 2013 年以来，一直是全球比特币/区块链/加密生态系统的活跃成员。
Shawn Tabrizi
Shawn Tabrizi 是 Parity Technologies 核心开发者。从很小的时候起，他一直对科学和技术充满热情，因为父亲拒绝为他购买 PlayStation Portable 新游戏，因而用了数百个小时，成为了 PSP 社区的黑客，此后逐渐学会了以编写代码去完成几乎任何事情。 他在加州大学圣巴巴拉分校获得物理与数学学位，然后加入微软，研究云身份系统与 Azure 支持的基础设施。目前，他加入 Parity Technologies 探索分布式网络的未来。
Jon Stephens
Jon Stephens 是 UT Austin 的博士生，也是 Veridise 的首席技术官和联合创始人。他的工作重点是开发自动化技术来验证和识别区块链生态系统中的错误。