I am a Ph.D. student at the University of Pennsylvania, advised by Rajeev Alur, and am funded by the NSF ExCAPE grant.
I study automata theory and its applications to processing streaming data. I designed DReX, a domain-specific language to describe stream transformations, and am now looking at 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.