Ben Chaimberg

Teaching Fellow at Yale University

New Haven, Connecticut, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code13 years of coding experience
job5 years of employment as a software developer
bookHanover High School
bookDartmouth College
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Yale University
bookBachelor's degree, Computer Science (Honors) and Statistics, 3.74, Bachelor's degree, Computer Science (Honors) and Statistics, 3.74 at The University of Chicago
languagesEnglish, French
stackoverflow-logo

Stackoverflow

Stats
66reputation
6kreached
5answers
1question
github-logo-circle

Github Skills (22)

aws-cdk10
step-functions10
ias10
glu9
aws-glue9
typescripts8
typescript-types8
cloud-infrastructure8
typescript8
infrastructure-as-code7
aws7
html6
rmarkdown6
flask6
build-automation6

Programming languages (7)

TypeScriptRocq ProverJavaCJavaScriptHTMLPython

Github contributions (5)

github-logo-circle
aws/aws-cdk

Feb 2020 - Mar 2022

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Role in this project:
userBack-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.
awscloud-development-kitcloud-infrastructureinfrastructure-as-codetypescript
BenChaimberg/aws-cdk

Jan 2020 - Dec 2020

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Contributions:4 PRs, 23 pushes, 4 branches in 10 months
development-kitcost-optimizationaws-cloudcloud-infrastructureinfrastructure
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.
Request Free Trial