Aashish Barnwal
Software Engineering Manager at Amazon
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolAashish Barnwal is a Senior Software Engineer based in Seattle with nine years of experience building scalable systems at Microsoft and Amazon, currently leading a team delivering a multi-year, high-velocity project that touches 40+ AWS services and has VP-level visibility. He is strong in data structures, algorithms, and systems design, with deep hands-on proficiency in C, Java, and solid skills in C++ and C#. Aashish has a track record of rapidly adapting to new technologies and shipping production software, from architecting the GeeksforGeeks Android app to founding a quiz site focused on DS/Algo learning. Known for excellent problem-solving and coding ability, he combines technical depth with pragmatic execution and mentorship in cross-functional, service-oriented environments. As a subtle differentiator, he pairs academic rigor in algorithms with practical experience driving large, distributed service integrations at scale.
9 years of coding experience
13 years of employment as a software developer
Bachelor's degree Computer science and engineering, Bachelor's degree Computer science and engineering at KIIT
English, Hindi
Github Skills (19)
rewriting10
artificial-intelligence9
javascript9
proof-assistant9
dependent-types9
python9
machine-learning9
sdk9
deep-learning9
rust8
quantum-computing8
open-source8
source-sdk8
qiskit8
quantum-programming-language7
Programming languages (6)
Github contributions (5)
firewall2142/lambdapi
Dec 2020 - Jan 2022
Proof assistant based on the λΠ-calculus modulo rewriting
Contributions:88 pushes, 21 branches in 1 year
dependent-typeshomotopy-type-theorycalculustheorem-provingassistant
BTP-Selvaraju-IITG-2021-22/BTP
Nov 2021 - May 2022
Contributions:15 commits, 6 pushes in 6 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.