Lewis Bruck
Senior Software Development Engineer at Amazon
Bothell, Washington, United States
Summary
🤩
RockstarLewis Bruck is a seasoned software engineer based in Bothell, Washington, currently working as a Senior Software Development Engineer at Amazon on the next-generation storage engine for DynamoDB. With a career that traces back to the late 1980s, he brings deep systems and database expertise from roles at Microsoft, Sybase, and early developer positions at XDB. His background spans test architecture and senior engineering on large-scale storage and database platforms, giving him a rare blend of hands-on systems design and operational rigor. Though listed with three years of recent experience, his track record reflects decades of continuous contribution to core infrastructure, suggesting a strong institutional knowledge of storage internals and production reliability. Colleagues can expect a pragmatic engineer who focuses on durable, high-performance storage solutions that scale in cloud environments.
3 years of coding experience
24 years of employment as a software developer
Github Skills (21)
asynchronous10
tla10
robotics10
fsm-library10
state-machine10
automata10
model-checking9
verification9
abstraction9
formal-methods9
gleam9
formal-verification9
event-driven9
declarative-programming9
fsm9
Programming languages (1)
Github contributions (2)
lewisbru/P
Jan 2023 - Jan 2025
The P programming language.
Contributions:3 pushes in 1 year 11 months
compilerlanguage-designprogramming-languagestack-based
p-org/P
Jan 2023 - Jan 2023
The P programming language.
Contributions:2 reviews, 1 commit, 3 PRs in 1 day
model-checkingcoq-librarytlaformal-verificationcompiler
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.