Yu Guo

郭宇老师是 SETBIT Labs 的联合创始人，该团队专注于智能合约审计、形式验证、零知识证明。

他在中国科学技术大学担任副教授，研究形式验证，尤其是操作系统验证方面，已有十年。郭宇在耶鲁大学担任研究科学家一年，参与可验证的操作系统。他目前致力于利用逻辑推理和零知识证明等跨学科方法改进区块链基础设施的安全性。

郭宇还是 ZKCPlus 协议的研究负责人，该协议是一种基于区块链的去中心化公平数据交易系统。

郭宇还拥有中国科学技术大学的计算机科学博士学位。