安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
SecureDrop
安全地共享、接收文档。
Uncloak
下一代网络保全威胁管理。
Forgepoint Capital
前身是 Trident Capital Cybersecurity。
Jonathan Wilkins
River Financial 首席安全官。
ETHERMAT
区块链安全专家。
Arkose Labs
使网络犯罪业务破产。
博欧科技
面向未来的银行级加密货币管理解决方案。
A2DAO
项目加速与投资平台。
SoHo Token Labs
前 QUANTSTAMP 安全审计负责人 Jonathan Haas 参与创办的安全服务机构。