个人简介Bio
郭宇是安比实验室创始人，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。其学术背景横跨计算机科学多个核心领域，尤其在形式化验证与程序语言理论方面造诣深厚。在学术界积累深厚的技术功底后，郭宇将研究重心转向区块链安全领域，致力于将形式化验证方法应用于智能合约安全审计与区块链系统安全分析，为行业提供了独特的理论视角与技术解决方案。他倡导以严谨的学术方法论审视区块链技术的安全性，推动区块链行业从经验驱动向验证驱动转变。
主要成就Achievement
- 创建安比实验室，推动区块链形式化验证与安全审计领域的研究与实践
- 中国科学技术大学计算机科学博士学位获得者
- 耶鲁大学访问学者，具备国际学术交流经验
- 曾任中国科学技术大学副教授，在学术界深耕计算机科学研究
- 曾任知名金融科技公司副总裁，积累了丰富的金融安全产品研发与管理经验
- 国内早期关注并研究比特币与区块链技术的科研人员之一，推动区块链技术在国内学术界的早期普及
- 在形式化证明与系统软件研究领域深耕十余年，将形式化验证方法引入区块链智能合约安全审计
- 研究专长涵盖区块链技术、形式化验证、程序语言理论、操作系统内核四大核心方向
- 发表多篇计算机科学与区块链安全领域学术论文，提升国内区块链安全研究的学术影响力
- 推动智能合约漏洞检测的理论化与工具化，为DeFi生态安全做出贡献
成长历程Journey
本科及博士阶段中国科学技术大学求学郭宇在中国科学技术大学攻读计算机科学博士学位，研究方向聚焦于形式化验证与程序语言理论，打下了坚实的计算机科学理论基础。
博士期间耶鲁大学访问学习赴美国耶鲁大学担任访问学者，与国际顶尖学者合作研究，拓展了学术视野与研究方法论。
博士毕业后中科大副教授取得博士学位后留任中国科学技术大学，担任副教授，从事教学与科研工作，专注于形式化证明与系统软件研究。
早期研究阶段国内早期比特币与区块链研究作为国内最早一批关注比特币与区块链技术的科研人员之一，郭宇从学术角度系统研究区块链技术原理与安全机制，将形式化验证思想引入区块链领域。
离开学术界任职知名金融科技公司副总裁从学术界转向产业界，担任知名金融科技公司副总裁，负责金融安全产品研发与技术管理，将形式化验证等理论成果应用于实际金融安全场景。
创办安比实验室创立安比实验室结合多年形式化验证与区块链安全研究经验，创立安比实验室，专注于区块链安全审计、智能合约形式化验证等方向，为区块链行业提供系统化安全解决方案。
安比实验室发展阶段推动区块链形式化验证工具化带领安比团队将形式化验证方法落地为可实际使用的智能合约审计工具与方法论，覆盖DeFi协议安全分析、跨链桥安全审计等多个前沿方向，服务众多知名区块链项目。
经典观点Quotes
形式化验证是解决智能合约安全问题的根本途径，只有通过严格的数学证明才能真正消除合约漏洞隐患。
—— 安比实验室研究方向阐述
区块链行业需要从经验驱动的安全审计转向验证驱动的安全保障，这是行业走向成熟的必经之路。
—— 行业演讲与访谈
学术研究与产业实践的结合是推动区块链安全技术发展的关键，形式化方法不应停留在论文中，而要转化为可用的工具。
—— 安比实验室理念
程序语言理论与区块链安全有着天然的联系，智能合约本质上是程序，程序语言的类型系统和语义分析是保障合约安全的基础。
—— 学术研究观点
