Ben Gamari
Partner at University of Massachusetts Amherst
Portsmouth, New Hampshire, United States
Summary
🤩
Rockstar🎓
Top SchoolBen Gamari is a versatile engineer and partner at Well-Typed LLP with 26 years of experience spanning compiler backend work, embedded systems, HPC/GPU development, and single-molecule biophysics. He spends much of his time improving the Glasgow Haskell Compiler and contributing to prominent Haskell projects like GHC, Cabal, bytestring, and lens, while also working on hardware-facing code in projects such as libopencm3 and HackRF. As a graduate student in physics he applies fluorescence spectroscopy, Bayesian analysis, and machine learning to study biological polymers, blending experimental instrument development with data-driven analysis. His open-source footprint reflects deep systems expertise—from Linux kernel debug enhancements to Rust bare-metal stacks and embedded examples for embassy-rs—showing fluency across C, C++, Rust, and Haskell. Based in Portsmouth, NH, he combines rigorous academic training (PhD work in physics) with practical engineering that spans low-level firmware to high-level language design. An avid hiker and cyclist, he brings curiosity and a tinkerer’s mindset to both research and production-quality tooling.
26 years of coding experience
6 years of employment as a software developer
BS Physics, BS Physics at The George Washington UniversityDoctor of Philosophy (Ph.D.) Physics, Doctor of Philosophy (Ph.D.) Physics at University of Massachusetts Amherst
English
Stackoverflow
31reputation
7kreached
1answer
0questions
Github Skills (135)
dependency-management10
programming-language10
restructuredtext10
package-management10
utf10
testing10
firmware10
c1110
c1710
type-system10
javas10
gtk10
code-generation10
servant10
template-haskell10
Programming languages (29)
Github contributions (5)
hackndev/zinc
May 2014 - Jan 2015
The bare metal stack for rust
Role in this project:
Back-end Developer
Back-end DeveloperContributions:198 commits, 4 PRs, 1 push in 8 months
Contributions summary:Ben focused on building the low-level system software, specifically, the bare metal stack for Rust. Their primary contributions involved implementing and integrating foundational components like locks and thread-safe queues, which are crucial for building concurrent systems in bare metal environments. The user further worked on creating critical sections, adding support for task blocking, and developing a condition variable and mutex implementations within the operating system's threading model. These changes demonstrate a deep understanding of embedded systems and concurrent programming principles.
bare-metalmetalrustbareembedded
ghc/ghc
Oct 2011 - Jan 2023
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:Back-end Developer
Back-end DeveloperContributions:9079 commits, 145 PRs, 64819 pushes in 11 years 5 months
Contributions summary:Ben primarily focused on improving the GHC (Glasgow Haskell Compiler) backend, with contributions centered on optimizations, memory management, and the handling of various Cmm instructions. Their work included fixing bugs, improving the code generation for atomic operations and jump tables, and enhancing the accuracy and completeness of code annotations. They were also involved in tasks related to thread management and the correct handling of memory barriers, crucial for ensuring the correctness and performance of the compiled code.
ghcget-startednewcomershaskellcabal
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.