Cory Hall
Senior Software Engineer at Pulumi
Charlotte, North Carolina, United States
Summary
🤩
Rockstar🎓
Top SchoolCory Hall is a Senior Software Engineer with seven years of cloud and platform engineering experience, currently shaping infrastructure and developer tooling at Pulumi. He spent multiple years at AWS as both a Solutions Architect and Software Development Engineer, bringing deep hands-on expertise in CDK, API Gateway, and Golang lambda constructs. Cory has contributed to the high-profile aws/aws-cdk project, building higher-level constructs for VPC flow logs and API key integrations and improving DevOps ergonomics for serverless workflows. Based in Charlotte, he combines product-focused engineering with practical DevOps skills, frequently bridging gaps between infrastructure as code and application-level concerns. His background in intelligence analysis gives him a methodical, security-minded approach to designing reliable cloud systems.
7 years of coding experience
7 years of employment as a software developer
Bachelor of Science (B.S.) Intelligence Analysis, Bachelor of Science (B.S.) Intelligence Analysis at James Madison University
Github Skills (10)
aws-apigateway10
aws-api-gateway-v210
go9
aws8
typescript-types7
typescript7
typescripts7
aws-cloudwatch6
devops6
aws-s35
Programming languages (11)
Github contributions (5)
aws/aws-cdk
Feb 2020 - Jan 2023
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:1564 reviews, 199 commits, 246 PRs in 2 years 11 months
Contributions summary:Cory focused on implementing AWS Cloud Development Kit (CDK) constructs for managing EC2 VPC flow logs and API Gateway resources, as well as API keys. Their contributions involved building higher-level constructs for Golang lambdas and enhancing the functionality of existing constructs. They also worked on addressing specific issues within the codebase by removing unused properties and improving the handling of API key integrations.
development-kitaws-cloudcloud-infrastructureinfrastructurecloud-development
pulumi/pulumi-cdk
Apr 2024 - Mar 2025
Pulumi/CDK Interop Library
Contributions:7 releases, 141 reviews, 145 PRs in 11 months
cloud-infrastructurepulumiawscdktypescript
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.