个人简介
Jeff Huang是一位计算机科学家和企业家,专注于区块链安全领域。他曾是Sec3(前身为Soteria)的联合创始人兼首席执行官,该公司专注于Web3和区块链智能合约的安全审计与形式化验证。在创业之前,他在学术界有着深厚的积累,曾任德克萨斯A&M大学副教授,专注于计算机系统和安全研究。他于2012年在香港科技大学获得计算机科学博士学位,博士期间的研究方向涉及系统安全与程序分析。此后,他在伊利诺伊大学厄巴纳-香槟分校担任博士后研究员,积累了丰富的学术研究经验,随后加入德克萨斯A&M大学担任助理教授,并逐步晋升为副教授。他的研究兴趣涵盖操作系统安全、软件工程、区块链安全以及形式化方法等领域,在学术和工业界均有重要贡献。
主要成就
- 联合创立Sec3(前身为Soteria),专注于Web3智能合约安全审计与形式化验证平台
- 在德克萨斯A&M大学建立并领导安全与软件工程研究团队
- 发表多篇关于操作系统安全、程序分析和区块链安全的顶级学术论文
- 开发智能合约自动化安全检测工具,服务于多个主流区块链生态
- 推动学术研究成果向工业界转化,连接形式化验证理论与区块链安全实践
- 培养多名在计算机安全和区块链领域工作的研究生和博士生
成长历程
2012
获得香港科技大学计算机科学博士学位
在香港科技大学完成计算机科学博士学位,研究方向涉及系统安全与程序分析,为后续学术和创业生涯奠定理论基础。
2012-2014
伊利诺伊大学厄巴纳-香槟分校博士后研究员
在伊利诺伊大学从事博士后研究,深入探索操作系统安全和软件可靠性领域,积累前沿研究经验。
2014-2022
德克萨斯A&M大学助理教授/副教授
加入德克萨斯A&M大学计算机科学与工程系,从助理教授晋升为副教授,建立研究团队,发表多篇高水平论文,培养研究生。
2022
联合创立Sec3并担任CEO
从学术界转向创业,联合创立Sec3公司(前身为Soteria),将形式化验证和程序分析技术应用于区块链智能合约安全,担任首席执行官领导公司发展。
相关文章
经典观点
"智能合约的形式化验证是保障Web3安全的根本途径,仅靠传统测试无法覆盖所有漏洞场景。"
— Sec3产品理念及学术演讲
"学术研究应当与实际系统安全需求紧密结合,从真实漏洞中提炼研究问题。"
— 德克萨斯A&M大学研究理念
