Kartikeya Goswami
SDE 2 at Kotak Mahindra Bank
Hyderabad, Telangana, India
Summary
👤
Senior🎓
Top SchoolKartikeya Goswami is an experienced backend engineer with 8 years of building scalable, high-availability systems across payments, events, and health-tech domains. He has led backend architecture for a wearable platform serving 30k+ daily active users and currently works as an SDE2 handling payments at Kotak Mahindra Bank. Proficient in Java, Spring Boot, PostgreSQL, Elasticsearch and AWS, he combines production-grade engineering with cross-functional collaboration across hardware, mobile and data teams. An active open-source contributor, he implemented key enhancements to the widely used Checker Framework during Google Summer of Code 2019, improving Java type-checking for signedness and repeatable annotations. Known for shipping fast, reliable features—from serverless apps to matchmaking and scheduling systems—he pairs a competitive, problem-solving mindset with a track record of delivering impactful, secure products.
8 years of coding experience
6 years of employment as a software developer
Bachelor of Technology (B.Tech.) Electronics and Communication Engineering, Bachelor of Technology (B.Tech.) Electronics and Communication Engineering at Jaypee Institute Of Information Technology
English, Hindi
Stackoverflow
71reputation
11kreached
1answer
0questions
Github Skills (9)
javas10
type-system10
typescript10
typesc10
verification10
java10
annotations10
annotation-processing10
react6
Programming languages (4)
Github contributions (5)
typetools/checker-framework
Jan 2019 - Aug 2019
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:13 commits, 27 PRs, 179 comments in 7 months
Contributions summary:Kartikeya primarily focused on enhancing the type-checking capabilities of the Checker Framework. Their contributions involved adding the `@Repeatable` annotation to existing annotations, modifying the default qualifier behavior, and refining the handling of qualifiers. They also deprecated methods and annotated classes in `SignednessUtil.java`. The changes included implementing additional tests for the signedness checker.
checkingverificationtype-checkingpluggablejava
gokaco/reflections
Jul 2017 - Sep 2022
Contributions:8 PRs, 6 pushes, 5 branches in 5 years 3 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.