Michael Benfield
Senior Compiler Engineer at Provable
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Benfield is a Senior Compiler Engineer with 11 years of experience blending research-grade mathematics and practical systems work to build fast, reliable compilers and ML tooling. He has shipped compiler and toolchain work at Google for ChromeOS and contributed to ML compilers at AWS and Mythic, and currently focuses on compiler engineering at Provable. His academic background (PhD in Mathematics) informs a rigorous approach to numerical methods, parallelism, and correctness that surfaces in both production systems and research implementations. An active maker, his GitHub showcases diverse projects from a high-performance decision-forest library to emulation and generative-model experiments, revealing breadth beyond his compiler specialization. Based in San Francisco, he pairs deep theoretical roots with hands-on systems programming in Rust, Python, and Haskell. Notably, his career bridges academia and industry, regularly turning mathematical insight into practical tooling for machine learning and parallel systems.
10 years of coding experience
10 years of employment as a software developer
Bachelor of Science (BS) Mathematics, Bachelor of Science (BS) Mathematics at University of North Carolina at CharlotteDoctor of Philosophy (PhD) Mathematics, Doctor of Philosophy (PhD) Mathematics at North Carolina State University
English
Stackoverflow
1,354reputation
12kreached
4answers
7questions
Github Skills (151)
python10
deep-learning10
clang10
rust-language10
garbage-collection10
rust-lang10
modular10
scikit10
statistics10
compiler10
rust10
data-science10
llvm10
tensorflow10
crate10
Programming languages (13)
Github contributions (5)
mikebenfield/redwood
Jul 2018 - Sep 2018
Contributions:1 release, 48 commits, 16 pushes in 2 months
mikebenfield/scikit-learn
Jul 2016 - Apr 2017
Contributions:21 pushes, 6 branches in 9 months
pythondata-sciencelearn-machine-learningmachine-learningscikit-learn
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.