Sergey Madaminov
Software Engineer - Technical Lead at Amazon Business
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolSergey Madaminov is a software engineer and technical lead with 10 years of experience building reliable, high-performance infrastructure and modernizing user-facing systems, currently leading the Approvals and BOI frameworks team at Amazon Business in Austin. He has driven large-scale cost and performance wins—most notably a $10M annual savings from database placement optimization at Microsoft—and routinely resolves long-standing production bugs. Sergey’s background spans systems work at Google, VMware, Cisco, Meta, and startups, with hands-on expertise in C/C++, Go, Python, React, and cloud-native tooling. He contributes to open-source projects such as VMware’s differential-datalog, focusing on C API integrations and careful refactoring of low-level tutorials, reflecting a preference for incremental, correctness-first improvements. Known for mentoring engineers and guiding incident response, he pairs deep systems intuition with pragmatic product focus. Not your typical neurotypical computer nerd, he brings unconventional thinking to complex distributed systems problems.
10 years of coding experience
4 years of employment as a software developer
EECS, EECS at Massachusetts Institute of TechnologyMaster of Science Computer Science, Master of Science Computer Science at Stony Brook University
Github Skills (8)
c1710
dd10
ddl10
datalog10
c1110
programming-language9
increment8
rust7
Programming languages (7)
Github contributions (5)
vmware-archive/differential-datalog
Dec 2020 - Jun 2021
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:30 commits, 3 PRs, 2 comments in 5 months
Contributions summary:Sergey primarily focused on refactoring and improving the C tutorial code within the DDlog project. Their commits addressed code consistency, particularly concerning pointer variable declarations and the use of `exit()` for error handling. They also made various documentation updates and bug fixes related to the C tutorial, including correcting errors in the code and fixing links. The user demonstrated a focus on the C API and its integration with DDlog.
changescomputationinput-outputincrementalrust
smadaminov/setup-and-configs
May 2020 - Apr 2022
Contributions:7 pushes, 1 branch in 1 year 11 months
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.