Ben Hamlin
Researcher at Galois, Inc.
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolBen Hamlin is a researcher and systems software engineer with 12 years of experience building performant, secure systems and networking software from prototype to publication. Based in Portland, he implements cryptosystems in Rust (including zero-knowledge proofs, post-quantum signatures, and verifiable computation) and developed a provable security framework for cryptographic hardware obfuscation published in TCHES. His background spans practical systems work—honeypots, Xen microkernel development, and custom TCP/IP stacks—to academic research on quantum-resistant hash properties and symbolic execution for emulated services. He regularly converts research into open-source artifacts and grant proposals, collaborating with DARPA, AFRL, and NSF programs. With a PhD track in computer science and deep experience in Haskell and Rust, he combines formal security thinking with hands-on systems engineering. An uncommon strength is his ability to move ideas across the stack—from low-level kernel and network code to cryptographic protocol proofs—while shipping production-ready code.
12 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Portland State University
Github Skills (73)
elliptic-curve10
pirate10
crypto10
linux10
finite-field10
polynomials10
cryptography10
zkp10
zk10
xen10
async9
rust9
haskell9
userspace9
js8
Programming languages (13)
Github contributions (5)
protoben/nixpkgs
Aug 2017 - Jul 2019
Nix Packages collection
Contributions:14 pushes, 3 branches in 1 year 11 months
nixosnix-packages
GaloisInc/jolt
Mar 2025 - Jul 2026
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Contributions:8 PRs, 65 pushes, 20 branches in 1 year 4 months
crypto
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.