I am an applied scientist in the proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services. I am currently working on adding unbounded proof support to our verification infrastructure.

Before joining AWS, I graduated with a Ph.D. in CS from UCLA in 2020, and a B.Tech. (Hons.) in CSE from IIT Bombay in 2014.

I am interested in all aspects of designing and implementing high-performance systems that have strong correctness guarantees. My PhD research was focused around using program synthesis and statistical learning techniques to aid development of formally verified software.