安比实验室 简介
安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。安比实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授，后担任知名金融科技公司副总裁。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核。
安比实验室 投资项目
安比实验室 相关信息
LEDGEROPS
精英化网络安全团队。
Cloudbric
保护你的加密资产安全。
Crypto Watchtower
专注于识别诈骗、高风险代币，以防止加密货币投资者蒙受损失。
Stela Labs
在审计、开发智能合约方面提供帮助。
Sergii Kravchenko
ConsenSys Diligence 安全审核员。
coincover
位于英国的加密货币保险创业公司。
Anand Prakash
PingSafe 与 AppSecure 创始人。
CyberX Project
去中心化的网络安全平台。
Magic Blockchain QA
针对区块链的测试服务。