Brian Guo
Software Engineer at Google Cloud | G Suite
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolBrian Guo is a software engineer based in New York with 12 years of experience building backend systems and teaching core CS topics. Currently at Google Cloud, he brings production experience from internships and early-career roles at Google, Yaalo, and Pareto, alongside academic teaching at Cornell in discrete structures, OS, and functional programming. He contributes to notable open-source cryptography tooling like ZoKrates, where he improved boolean parsing and operator associativity in zkSNARKs code, demonstrating attention to correctness in complex parser and compiler-like code. Comfortable across systems-level and cloud environments, he aims to grow into a full-stack developer and seeks internships that broaden hands-on product experience. His academic foundation (CS, 3.7 GPA from Cornell) and history of both teaching and shipping production code reflect a blend of strong fundamentals and practical delivery.
12 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, 3.7, Bachelor's degree, Computer Science, 3.7 at Cornell University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (7)
zksnark10
boolean-algebra10
parser10
rust10
zeroth9
ethereum9
lang8
Programming languages (8)
Github contributions (5)
Zokrates/ZoKrates
Oct 2018 - Oct 2018
A toolbox for zkSNARKs on Ethereum
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 commits, 4 comments in 25 days
Contributions summary:Brian primarily worked on implementing and refining boolean expressions within the ZoKrates project. Their contributions focused on modifying the parser to correctly handle boolean operators like "and" and "or," and ensuring consistent behavior across the code base. Key changes involved adjustments to the `flatten` and `typed_absy` modules. The user also corrected the associativity of boolean "and" operators in tests and made changes to the parser to reduce ambiguity.
ethereumzksnarkszero-knowledgesnarkverifiable-computation
softdev-7-leaf/leaf
Jan 2015 - Jan 2015
Contributions:103 commits, 71 PRs, 41 pushes in 16 days
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.