Guo Yu

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