Adam Procter
Member Of Technical Staff at Cerebras Systems
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolAdam Procter is a compiler and deep-learning systems engineer with 12 years of experience building production compilers and type-checking tools across startups and industry labs. He currently works as a Member of Technical Staff at Cerebras Systems after contributing to Stripe’s Sorbet type-checker, Groq’s compiler efforts, and Intel’s nGraph and Nervana projects. His background blends academic rigour—a Ph.D. and postdoctoral work creating ReWire, a purely functional hardware design language—with hands-on engineering shipping high-performance ML compiler stacks. Comfortable across functional programming, type systems, and hardware-oriented compilation, he brings a rare combination of formal methods experience and production-grade optimization know-how. Based in Portland, Oregon, he’s equally at home prototyping theorem-inspired language features and tuning compilers for massive ML accelerators.
12 years of coding experience
11 years of employment as a software developer
University of Missouri
English, Japanese, German
Stackoverflow
856reputation
85kreached
17answers
56questions
Github Skills (31)
parserator10
sorbet10
parser10
type-check10
language-server-protocol10
ruby10
language-server10
parsing10
parse10
type-checking10
typescript9
build-system9
typesc9
bazel9
type-system9
Programming languages (6)
Github contributions (5)
aprocter/dotfiles
May 2021 - Nov 2025
Contributions:36 pushes, 1 branch in 4 years 6 months
aprocter/aprocter.github.io
Mar 2015 - Mar 2022
Contributions:13 pushes in 7 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.