Yu Guo is the Co-Founder of SETBIT Labs, a team focusing on smart contract auditing, formal verification, and zero-knowledge proofs.
He spent ten years as an associate professor specializing in formal verification, particularly operating system verification, at the University of Science and Technology of China. Yu also worked for one year as a research scientist at Yale University, where he helped build certified operating systems. He is currently working on improving the security of blockchain infrastructure using interdisciplinary approaches such as logical reasoning and zero-knowledge proofs.
Yu is also the research lead of ZKCPlus protocol, a decentralized fair data trading system on the blockchain.
Yu holds a Ph.D. in Computer Science from the University of Science and Technology of China.