Sameer Rastogi
Software Engineer III at Google
Bengaluru, Karnataka, 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.
11 years of coding experience
5 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, 12th board at Delhi Public School, Ranchi
English, Hindi, Spanish
Github Skills (10)
verification10
c-language10
ocaml9
smt9
programming-language9
proof-assistant9
dependent-types9
theorem-proving9
fstar8
atom-editor2
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
programming-languageverificationdependent-typessmttheorem-proving
FStarLang/fstar-interactive
Jun 2015 - Jun 2015
An F* interactive mode for the atom editor
Contributions:1 push in 1 day
atom-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.