Research scientist at IBM Research, India working on program analysis and cloud computing. PhD (Computer Science) on static analysis of dynamically allocated data from IIT Bombay. Authored patents and internationally recognized research output: presented in forums like Microsoft Research Lab, TCS Research Lab, ACM Grad Cohort at IIT Delhi, ACM Computing Surveys, Cadence Simulation Group, Synopsys Verification Group, International Symposium on Memory Management at Barcelona, and International Conference on Data Management.