I am a senior software engineer in the chromeOS organization at Google. Prior to that, I was an applied scientist in the Automated Reasoning Group at Amazon Web Services.

Before joining the industry, 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 consider myself a backend generalist, and am primarily interested in low-level systems software. My doctoral research was specialized on software analysis, synthesis and formal verification.