I am excited to join Michael Whalen’s research team, within the Automated Reasoning Group at AWS, as an Applied Scientist this summer!

I am a PhD candidate, advised by Prof. Todd Millstein, in the CS department at UCLA. Before starting PhD, I graduated from IIT Bombay in 2014 with B.Tech. (Hons.) in CSE.

My thesis work is focused on using program synthesis to aid users in writing highly reliable software. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.

I am thankful to Microsoft Research for supporting my research with a 2017–19 Microsoft Research PhD fellowship, and to UCLA for a Dissertation-Year fellowship.