Montgomery Carter
Software Engineer at University of Utah - Employment
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMontgomery Carter is a software engineer based in Seattle with 11 years of experience specializing in desktop and server engineering, process automation, and multi-product integrations. He brings advanced scripting expertise across PowerShell, VBScript, WinBatch, and Perl to automate complex IT workflows, deployments, and cross-product processes. At Google he contributes to backend and DevOps work—improving build processes for Google Cloud buildpacks and adding metrics and PHP/Java build improvements—while his academic work at the University of Utah produced extensible software verification tools and publications for ICSE/TACAS. Previously he architected global infrastructure and VMware/Exchange solutions as Head of IT, demonstrating a practical blend of sysadmin rigor and software development. Montgomery’s background in formal verification and hands-on automation gives him a rare dual perspective: building reliable production systems while reasoning about their correctness.
11 years of coding experience
4 years of employment as a software developer
The University of Utah
Github Skills (21)
pthread10
c1110
gcp10
c1710
go10
maven10
concurrency10
buildpack10
pthreads10
java9
verification9
php9
javas9
cicd8
golang7
Programming languages (8)
Github contributions (5)
GoogleCloudPlatform/buildpacks
Nov 2021 - Jan 2023
Builders and buildpacks designed to run on Google Cloud's container platforms
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:23 commits, 1 comment in 1 year 2 months
Contributions summary:Montgomery primarily focused on improving the build process and codebase maintainability of the Google Cloud buildpacks. Their contributions include refactoring the build process, particularly for Java, and ensuring proper line endings for Maven builds. They also added functionality for metrics and improved build output. Additionally, they contributed to the build configurations for PHP applications on both Google App Engine (GAE) and Cloud Functions (GCF).
golanggcpoci-imagebuildpacksv3python
sosy-lab/sv-benchmarks
Feb 2016 - Dec 2016
Collection of Verification Tasks
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits, 2 PRs, 9 comments in 9 months
Contributions summary:Montgomery primarily focused on refactoring and patching concurrency benchmarks. They addressed deprecated function calls within the code, specifically related to `__VERIFIER_atomic_*()` functions. Their work involved removing and replacing these deprecated functions across multiple files to maintain code correctness. This included significant changes to benchmark files, ensuring they were up-to-date and compatible.
securitytlaverification
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.