Grayson Burton
Albany, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolGrayson Burton is a versatile software engineer and tech lead with nine years of experience applying cloud-native tooling, CI/CD optimization, and formal methods to improve reliability and developer velocity. At BitGo he built Rust and Node.js tooling that reduced CI runtimes by ~60% and simplified pipelines across multiple microservices, and as a smart contract auditor he used formal modeling to prove invariants protecting large volumes of DeFi transactions. He’s comfortable debugging Kubernetes production systems and establishing deployment checks and SLAs that cut repeat incidents. Recently he led tech initiatives for the Boys & Girls Club of Corvallis and is pursuing an AS in Mathematics and Computer Science while working in direct support roles—demonstrating a rare blend of technical depth and hands-on community care. Grayson’s profile reflects a pragmatic commitment to secure, efficient systems and clear communication across engineering and nontechnical stakeholders.
9 years of coding experience
2 years of employment as a software developer
High School Diploma, High School Diploma at Piner High SchoolAssociate of Science - AS Mathematics and Computer Science, Associate of Science - AS Mathematics and Computer Science at Centralia College
Github Skills (107)
game-development10
data-driven10
game-engine10
rust10
open-source10
mathematical9
shapes9
ide9
bevy9
mathematics9
formal-methods9
development-environment9
dht9
scripting-engine9
theorem-proving9
Programming languages (11)
Github contributions (5)
ocornoc/crolol
Jul 2019 - Sep 2019
C++11 Yolol numbers
Contributions:46 commits, 1 PR, 34 pushes in 1 month
yololcppc-plus-plus
ocornoc/yogi
Jul 2021 - Apr 2022
fast yolol interpreter
Contributions:1 review, 221 commits, 2 PRs in 9 months
pytorchyololinterpreter
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.