I am working on a Ph.D. in Computer Science, at the College of Computer and Information Science, Northeastern University, Boston advised by Thomas Wahl. I am a memeber of the Formal Methods group. My research focusses on mechanized formal/semi-formal verification of systems. I have worked on path interpolation for formulas in the context of loop invariant generation for proving program correctness, and on Reachability analysis of large, untimed sequential circuits. I am currently analyzing Floating point operations in OpenCL programs, investigating the twin challenges of concurrency and the intricacies (and eccentricities) of floating-point arithmetic in OpenCL programs.

Before joining Northeastern, I worked at Samsung as a software developer writing software for mobile phones. Even before that, I was a student in the Computer Science and Engineering department at the Indian Institute of Technology (IIT) Bombay, from where I graduated with a master's degree, advised by Supratik Chakraborty. I was also affiliated to the Center for Formal Design and Verification of Software.