James Bornholt
Senior Principal Engineer at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJames Bornholt is a Senior Principal Engineer at AWS with ~15 years of systems and research experience, focused on storage and retrieval innovations across Amazon S3 (S3 Tables, S3 Vectors), low-level clients like Mountpoint (an S3 FUSE), and large-scale HDD-backed systems such as ShardStore. He blends applied research and production engineering—authoring concurrency testing tools for Rust (Shuttle) and contributing to formal verification tooling like the Dafny compiler—reflecting his background as a former UT Austin computer science professor. James holds a PhD from the University of Washington and is adept at taking formal methods and language-theory insights into pragmatic, scalable cloud services. Colleagues rely on him for solving hard systems problems that bridge ML workloads, storage economics, and program correctness in production.
15 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of WashingtonAustralian National University
Github Skills (7)
programming-language10
verification10
compiler-construction10
msbuild9
build-automation9
mono9
git3
Programming languages (16)
Github contributions (5)
dafny-lang/dafny
Jan 2018 - Apr 2022
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer / Automation Engineer
Back-end Developer / Automation EngineerContributions:12 commits, 4 PRs, 6 pushes in 4 years 3 months
Contributions summary:James contributed to the Dafny language's build process and compiler infrastructure. They addressed issues related to build compatibility with different environments, including Mono and VS2017, demonstrating a focus on cross-platform support. Several commits involved fixing bugs related to type checking, let-expression inlining, and trigger selection within the Dafny compiler. Furthermore, they worked on packaging and versioning, ensuring the correct deployment of the VSCode extension.
compilerdafnyprogramming-languageverification
jamesbornholt/ocelot
Feb 2017 - Apr 2018
Contributions:40 commits, 1 PR, 17 pushes in 1 year 2 months
logicrelationalsynthesissolver
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.