Sameer Rastogi
Software Engineer 2 at Microsoft
Hyderabad, Telangana, India
Summary
🤩
Rockstar🎓
Top SchoolSameer Rastogi is a software engineer with 11 years of professional experience and 3+ years specializing in mobile AI and cross-platform development, currently shipping privacy-first multimodal AI features at Microsoft. He has led integration of Small Language Models and on-device speech/image/text pipelines for Android and iOS, delivering real-time, offline-capable experiences that scale to millions of users. Proficient in Kotlin, Swift, Java, Objective-C and C#, he combines low-level performance work (ONNX, native C++ libraries) with cloud telemetry and diagnostics in Azure to cut incident time and boost adoption. His contributions include refactoring legacy mobile codebases for modularity, revamping voice transcription used by 50k+ daily users, and architecting tool-calling and automation for complex tasks. Based in Hyderabad, he pairs hands-on engineering with mentorship and a practical focus on product impact and privacy-first design.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Technology - BTech, Computer Science, Bachelor of Technology - BTech, Computer Science at Manipal Institute of Technology12th board, 94.6%, 12th board, 94.6% at Delhi Public School, Ranchi
English, Hindi, Spanish
Github Skills (24)
apl10
c-language10
verification10
wolfram-language10
smt10
tlaplus9
programming-language9
proof-assistant9
agda9
dependent-types9
lambda-calculus9
ocaml9
z39
coq9
idris9
Programming languages (2)
Github contributions (2)
FStarLang/FStar
Jun 2015 - Jun 2015
A Proof-oriented Programming Language
Contributions:4 commits, 41 pushes, 1 comment in 7 days
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
FStarLang/fstar-interactive
Jun 2015 - Jun 2015
An F* interactive mode for the atom editor
Contributions:1 push in 1 day
atomatom-editor
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.