I am a Ph.D. student at the University of Pennsylvania, advised by Rajeev Alur, and am funded by the NSF ExCAPE grant.
My research goal is to make programming easier by building new programming abstractions and assistance tools. In my thesis, I design DReX, a domain-specific language to describe stream transformations. I am now studying extensions to quantitative functions, approximate query evaluation, and applications to the static analysis of string manipulating programs.
More broadly, I am interested in formal verification and program synthesis. Program synthesis is the problem of converting human intentions into concrete programs. The input is often vague and exploratory: I spent two summers working with Youssef Hamadi and Yi Wei on the synthesis of idiomatic code snippets for the Bing Code Search Tool at Microsoft Research Cambridge. I was also part of the team that formalized SyGuS.
In 2010, I graduated from the Indian Institute of Technology Guwahati with an undergraduate degree in computer science.