SECBIT

SECBIT專注於區塊鏈與智能合約安全問題，全方位監控智能合約安全漏洞、提供專業合約安全審計服務，在智能合約安全技術上開展全方位深入研究，致力於參與共建共識、可信、有序的區塊鏈經濟體。 SECBIT創始人郭宇，中國科學技術大學博士、耶魯大學訪問學者、曾任中科大副教授，後擔任知名金融科技公司副總裁。專注於形式化證明與系統軟件研究領域十餘年，具有豐富的金融安全產品研發經驗，是國內早期關注並研究比特幣與區塊鏈技術的科研人員之一。研究專長：區塊鏈技術、形式化驗證、程序語言理論、操作系統內核。