Vincent Liew
Cryptography Engineer at NEBRA Labs
United States
Summary
👤
Senior🎓
Top SchoolVincent Liew is a research engineer with 13 years of experience bridging physics, mathematics, and computer science to tackle problems in quantum computing, proof complexity, and zk-SNARKs. He holds a PhD in theoretical computer science from the University of Washington, where his work applied proof complexity to improve SAT/SMT solvers and formal verification tools. After industry roles at SingleStore and NEBRA Labs as a software and cryptography engineer, he now researches applied cryptography and decentralized systems at Category Labs. Vincent combines deep theoretical expertise with production engineering—shipping scalable systems while reasoning about the limits of provability and succinct proofs. He is comfortable moving between low-level algorithmic proofs and pragmatic system design, a rare mix rooted in dual BS degrees in physics and mathematics from MIT. Colleagues often note his ability to translate abstract complexity results into practical optimizations for verifiable computation.
13 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of WashingtonBS Physics and Mathematics, BS Physics and Mathematics at Massachusetts Institute of Technology
Github Skills (37)
cors10
websocket10
grpc-go10
ngrok10
jwt10
golang10
versioning10
dependency-injection10
rocket9
django9
mvc9
api-server9
fastest9
go9
go-web-framework9
Programming languages (4)
Github contributions (5)
vincent-li/kof13
Jan 2013 - Apr 2016
Contributions:2 commits, 1 push in 3 years 3 months
vincent-li/h5maker
Apr 2022 - Jun 2022
Contributions:6 commits, 5 pushes, 1 branch in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.