Finch Foner
Control Plane Engineer at Oxide Computer Company
United States
Summary
🤩
Rockstar🎓
Top SchoolFinch Foner is a control plane engineer with 11 years of experience building secure, high-performance distributed systems and cryptographic infrastructure. Currently at Oxide Computer Company and founder of Starling Cybernetics, he operates production-grade, NixOS-based validator infrastructure that secures over 1.6M UM tokens with near-perfect uptime. As a founding core engineer at Penumbra Labs he designed the Tiered Commitment Tree—a novel, highly performant merkle structure—and led implementation of critical protocol components and on-chain governance. His background spans research and applied cryptography roles at Bolt Labs and Galois, where he produced provably correct prototypes, formal verification tooling, and domain-specific languages. Finch combines deep systems engineering, formal methods, and product instincts, and is known for turning advanced cryptographic ideas into resilient, production systems.
11 years of coding experience
5 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Brandeis UniversityMaster of Science in Engineering, Computer and Information Sciences, General, Master of Science in Engineering, Computer and Information Sciences, General at University of Pennsylvania
Github Skills (184)
cosmos10
cryptocurrency10
decentralized-exchange10
datalog10
ecosystem10
exchange10
on-the-fly10
scripting10
inline10
protocols10
absolute10
asynchronous10
strictness10
privacy10
ethereum10
Programming languages (13)
Github contributions (5)
kwf/StrictCheck
Nov 2017 - Oct 2019
Generic QuickCheck for laziness / strictness behavior of Haskell functions
Contributions:204 commits, 3 PRs, 256 pushes in 1 year 11 months
haskellquickcheckgenericlazinessstrictness
polat272/penumbra
Dec 2021 - Jul 2022
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
Contributions:121 commits in 6 months
exchangestakeethereumproof-of-stakedecentralized-exchange
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.