安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
Joran Honig
ConsenSys Diligence 安全研究与开发。
Alexander Wade
Consensys Diligence 智能合约安全工程师。
FinalMessage
帮用户发生意外时传递他们的比特币。
Runtime Verification
提升软件系统的安全性、可靠性和正确性。
SolidStamp
以太坊智能合约的链上审计。
HackerOne
排名第一的黑客驱动安全平台。
Jessy Irwin
Tendermint 安全主管。
Damian Rusinek
SecuRing 高级 IT 安全顾问。
WebAssembly Security
从逆向工程，到漏洞研究。