Pranav Garg is a Staff Applied Scientist with a decade of experience building production-grade ML systems and agentic GenAI features for enterprise applications, most recently shaping Amazon Quick Suite and agentic memory/personalization at AWS. He blends deep research expertise from a UIUC PhD in machine-learning-based automated program verification with hands-on engineering across code analysis, compilers, security, and large-scale anomaly detection. At AWS he led teams delivering GenAI code assistants, security scanning and automated remediation, and published work on hallucination detection and structural code search. Known for synthesizing static-analysis rules from examples and learning inductive invariants, he excels at turning formal-methods ideas into scalable products. Based in New York, he pairs scientific rigor with product focus and a tinkerer’s curiosity that surfaces in steady open-source and tooling contributions.
10 years of coding experience
17 years of employment as a software developer
Indian Institute of Technology Kanpur
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at University of Illinois Urbana-Champaign
Contributions:72 commits, 4 PRs, 82 pushes in 2 months
extensionsc-extensions
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.