I recently started working as an applied scientist in Michael Whalen’s proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services.

My current research 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 graduated with a Ph.D. in CS from UCLA in 2020, and a B.Tech. (Hons.) in CSE from IIT Bombay in 2014.