Ben Chaimberg is a software engineer and Teaching Fellow at Yale with 13 years of experience building reliable systems, teaching operating systems and software verification, and tutoring functional programming in Haskell. He combines academic rigor—currently studying programming languages for software verification in a PhD program—with hands-on cloud engineering from his time at AWS, where he contributed notable features to the widely used AWS CDK (including Step Functions and Glue job integrations). Prior roles span machine-learning infrastructure at Amazon and low-latency trading tech at Optiver, reflecting comfort with both research and production-scale distributed systems. Ben’s work often bridges user-facing developer tools and secure infrastructure-as-code, and he has a track record of improving testability and deployment flows through thoughtful automation. Colleagues benefit from his mixture of classroom pedagogy and practical engineering, making him effective at translating complex concepts into reproducible, well-tested code.
13 years of coding experience
5 years of employment as a software developer
Hanover High School
Dartmouth College
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Yale University
Bachelor's degree, Computer Science (Honors) and Statistics, 3.74, Bachelor's degree, Computer Science (Honors) and Statistics, 3.74 at The University of Chicago
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Role in this project:
Back-end Developer & Cloud Engineer
Contributions:470 reviews, 157 commits, 44 PRs in 2 years 1 month
Contributions summary:Ben implemented a new feature to grant permissions to start execution of imported Step Functions state machines by adding a method to the IStateMachine interface. They also added a new task for running Glue jobs within Step Functions, including associated unit tests and integration tests. Further contributions involved improving the build process, clarifying prerequisites, and fixing issues with IAM permissions and environment variables for Lambda functions.
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.