郭宇是安比實驗室創始人，中國科學技術大學博士、耶魯大學訪問學者、曾任中科大副教授，後擔任知名金融科技公司副總裁。專注於形式化證明與系統軟件研究領域十餘年，具有豐富的金融安全產品研發經驗，是國內早期關注並研究比特幣與區塊鏈技術的科研人員之一。研究專長：區塊鏈技術、形式化驗證、程序語言理論、操作系統內核。