Kurt Barry
Smart Contract Specialist at Fixed Point Solutions LLC
Romney, West Virginia, United States
Summary
👤
Senior🎓
Top SchoolKurt Barry is a smart contract specialist with nine years of software engineering experience who now runs Fixed Point Solutions LLC and serves on MakerDAO’s Protocol Engineering team. He has driven core changes to the Dai Stablecoin System—modifying contracts like Vat, Cat, End, Spot, and Flopper—to harden governance resistance and improve stability. Prior to focusing on Ethereum, he built security and auth features at Google Cloud (IAP) and Xbox Live, bringing large-scale production engineering discipline to decentralized finance. A physics-trained problem solver (Stanford MS, dual BS in Physics and Math), he combines formal rigor with practical auditing and verification practices. Based in Romney, West Virginia, Kurt blends deep protocol-level smart contract expertise with a background in high-assurance systems and research-grade software.
9 years of coding experience
13 years of employment as a software developer
Bachelor of Science (2), Physics, Math, Bachelor of Science (2), Physics, Math at University of AlabamaMaster's degree, Physics, Master's degree, Physics at Stanford University
Japanese
Github Skills (7)
smart-contracts10
solidity10
f10
ethereum10
testing9
data-structures8
data-structure8
Programming languages (18)
Github contributions (5)
makerdao/dss
Mar 2019 - Apr 2021
Dai Stablecoin System
Role in this project:
Back-end Developer
Back-end DeveloperContributions:124 reviews, 47 commits, 62 PRs in 2 years 1 month
Contributions summary:Kurt contributed to the core logic and smart contracts of the Dai Stablecoin System. Their work focused on modifying and adding functions to core contracts like `Vat`, `Cat`, `End`, `Spot`, and `Flopper`. The user addressed issues by renaming arguments, preventing unexpected function calls, and adding new parameters. They also hardened the system against governance interference, enhancing its security and stability.
ethereumblockchaindaisoliditycryptocurrency
makerdao/k-mkr-authority
Aug 2019 - May 2020
Formal Verification of MkrAuthority contract
Contributions:16 commits, 1 PR, 10 pushes in 9 months
contractformal-verificationformalverification
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.