Starting March 2024, I am an Assistant Professor of Computer Science at IIT Hyderabad. Before, I was a Postdoc at PurPL, Purdue, working with wonderful Suresh Jagannathan. I also worked for an year on Program Analysis for JS with Frank Tip. I did my PhD at IISc Bengaluru, India. My background is in Formal Methods and Programming Languages. My research views programming languages as having a central place in solving computing problems