个人简介

Jeff Huang是一位计算机科学家和企业家,专注于区块链安全领域。他曾是Sec3(前身为Soteria)的联合创始人兼首席执行官,该公司专注于Web3和区块链智能合约的安全审计与形式化验证。在创业之前,他在学术界有着深厚的积累,曾任德克萨斯A&M大学副教授,专注于计算机系统和安全研究。他于2012年在香港科技大学获得计算机科学博士学位,博士期间的研究方向涉及系统安全与程序分析。此后,他在伊利诺伊大学厄巴纳-香槟分校担任博士后研究员,积累了丰富的学术研究经验,随后加入德克萨斯A&M大学担任助理教授,并逐步晋升为副教授。他的研究兴趣涵盖操作系统安全、软件工程、区块链安全以及形式化方法等领域,在学术和工业界均有重要贡献。

主要成就

  • 联合创立Sec3(前身为Soteria),专注于Web3智能合约安全审计与形式化验证平台
  • 在德克萨斯A&M大学建立并领导安全与软件工程研究团队
  • 发表多篇关于操作系统安全、程序分析和区块链安全的顶级学术论文
  • 开发智能合约自动化安全检测工具,服务于多个主流区块链生态
  • 推动学术研究成果向工业界转化,连接形式化验证理论与区块链安全实践
  • 培养多名在计算机安全和区块链领域工作的研究生和博士生

用户档案

工作经历

sec3
联合创始人兼首席执行官

2022-09 - 2023-10

教育经历

香港科技大学

成长历程

2012
获得香港科技大学计算机科学博士学位
在香港科技大学完成计算机科学博士学位,研究方向涉及系统安全与程序分析,为后续学术和创业生涯奠定理论基础。
2012-2014
伊利诺伊大学厄巴纳-香槟分校博士后研究员
在伊利诺伊大学从事博士后研究,深入探索操作系统安全和软件可靠性领域,积累前沿研究经验。
2014-2022
德克萨斯A&M大学助理教授/副教授
加入德克萨斯A&M大学计算机科学与工程系,从助理教授晋升为副教授,建立研究团队,发表多篇高水平论文,培养研究生。
2022
联合创立Sec3并担任CEO
从学术界转向创业,联合创立Sec3公司(前身为Soteria),将形式化验证和程序分析技术应用于区块链智能合约安全,担任首席执行官领导公司发展。

相关文章

经典观点

"智能合约的形式化验证是保障Web3安全的根本途径,仅靠传统测试无法覆盖所有漏洞场景。"

— Sec3产品理念及学术演讲

"学术研究应当与实际系统安全需求紧密结合,从真实漏洞中提炼研究问题。"

— 德克萨斯A&M大学研究理念

社交媒体