安比实验室SECBIT

SECBIT（安⽐）实验室专注于智能合约安全问题，全⽅位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展深⼊研究，致⼒于参与共建共识、可信、有序的区块链经济体。

SECBIT（安⽐）实验室专注于智能合约安全问题，全⽅位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展深⼊研究，致⼒于参与共建共识、可信、有序的区块链经济体。 SECBIT（安⽐）实验室创始⼈郭宇，中国科学技术⼤学博⼠、耶鲁⼤学访问学者、毕业后在中科⼤执教九年，任副教授，后担任知名⾦融科技公司副总裁。专注于形式化证明与系统软件研究领域⼗余年，并在⾦融安全⾏业具有丰富的产品研发经验，是国内早期关注并参与⽐特币与区块链技术的科研⼈员之⼀，⼆⼗余项区块链专利核⼼发明⼈。研究专⻓：区块链技术、形式化验证、程序语⾔理论、操作系统内核。