Vincent Liew

Research Engineer

Based in Seattle, Vincent is a researcher and engineer with a background in zero knowledge proofs, automated reasoning, and complexity theory. He earned his Ph.D. at the Paul G. Allen School of Computer Science and Engineering at the University of Washington, where he applied proof complexity theory to deepen our understanding of automated reasoning tools such as SAT and SMT solvers. After his Ph.D., he worked on the aggregation of zero knowledge proofs in blockchain systems. Outside of work, he enjoys training for and participating in a variety of different strength sports.