Jeff Huang 是一位知名的计算机科学学者与区块链安全领域的创业者。他于2012年在香港科技大学获得计算机科学博士学位，随后赴伊利诺伊大学厄巴纳-香槟分校从事博士后研究工作。此后，他加入德克萨斯A&M大学，从助理教授晋升为副教授，长期从事智能合约安全、形式化验证、密码学协议与系统安全等领域的研究。与此同时，他是区块链安全公司 Sec3 的联合创始人兼首席执行官，致力于为Web3生态提供智能合约审计与安全解决方案。他在学术界和工业界均具有重要影响力，发表了多篇高水平论文，并在顶级安全会议上活跃。
进入香港科技大学计算机科学系攻读博士学位，研究方向聚焦于系统安全与密码学协议。
在香港科技大学获得计算机科学博士学位，博士研究工作聚焦于安全协议验证与形式化方法。
进入伊利诺伊大学厄巴纳-香槟分校从事博士后研究，进一步深化在安全与验证领域的研究。
正式加入德克萨斯A&M大学计算机科学系，担任助理教授，开始独立领导研究团队。
智能合约的安全性不能仅依赖事后审计，必须从设计阶段就嵌入形式化验证方法，从根源上消除漏洞。
区块链和Web3生态的安全性是整个行业发展的基石，没有安全就没有信任，没有信任就不可能实现大规模采用。
自动化形式化验证工具可以极大地降低智能合约审计的成本与时间，同时提高检测精度，是安全领域的未来方向。
学术研究与工业实践应当紧密结合，只有将前沿理论转化为可用工具，才能真正保护用户的数字资产安全。
