Scholar
Pranav Garg
Google Scholar ID: X8CHODEAAAAJ
Amazon
Citations & Impact
Citations
654
H-index
11
i10-index
12
Publications
20
Co-authors
0
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published several papers including 'Horn-ICE Learning for Synthesizing Invariants and Contracts', 'Invariant Synthesis for Incomplete Verification Engines', 'Efficient Incrementalized Runtime Checking of Linear Measures on Lists', 'Learning Invariants Using Decision Trees and Implication Counterexamples', and more.
Research Experience
- Currently an Applied Scientist at Amazon Web Services (AWS) AI, working on malware detection and estimating causal effects of customer purchase actions. Previously, conducted research at UIUC on machine learning-based inductive program invariant synthesis and natural proof tactics for verification.
Education
- PhD in 2015 from the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), advised by Prof. Madhusudan Parthasarathy. Undergraduate studies completed at Indian Institute of Technology Kanpur, India.
Background
- Research Interests: Machine learning, Programming Languages, Formal methods, Security.
Co-authors