安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
Rivetz
去中心化移动网络安全，连接可信计算。
Qredo
安全、快速地转移数字资产。
Joran Honig
ConsenSys Diligence 安全研究与开发。
Nicholas J. Percoco
Kraken 首席安全官。
Sooho
对智能合约充满信心。
QuillAudits
QuillHash 的智能合约安全审计平台。
Next Ventures
接受永无止境变革的唯一途径。
Black Hat
世界上最具技术性和相关性的信息安全事件系列活动。
BigBounty
激励道德黑客，修复 Web 3.0 安全性。