Brian Kuhns
Protocol Engineer at o1Labs
New Hampshire, United States
Summary
🤩
Rockstar🎓
Top SchoolBrian Kuhns is a protocol engineer with eight years of software engineering experience, currently working at o1 Labs after previous development work at MLabs. With a foundation in mathematics from Clarkson University, he brings analytical rigor to designing and implementing protocol-level systems. Brian blends practical engineering with research-minded problem solving, focusing on reliable, well-specified software for distributed or cryptographic applications. Based in New Hampshire, he has transitioned from broader software roles into specialized protocol work, suggesting strong domain adaptability and deepening expertise in low-level system design. While not highly visible on GitHub, his career move to o1 Labs signals involvement with cutting-edge blockchain or consensus protocol projects.
8 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Clarkson University
Github Skills (70)
security10
cryptocurrency10
xmonad10
window-manager10
haskell10
linux10
ocaml10
x1110
blockchain10
mina10
purescript9
shrink9
proof-system9
logic9
minecraft9
Programming languages (15)
Github contributions (5)
Plutonomicon/Shrinker
Dec 2021 - Feb 2022
Shrink Plutus scripts
Contributions:1 review, 56 commits, 1 PR in 1 month
plutusshrink
Geometer1729/nixos-config
Jul 2023 - Jul 2026
Contributions:144 pushes, 5 branches in 3 years
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.