I am a second year PhD student at Carnegie Mellon University. I am advised by Prof. Jan Hoffmann. I am broadly interested in programming languages and currently focussing on automatic analysis of resource consumption of programs. I am currently working jointly with Prof. Frank Pfenning and my advisor on automatic analysis of parallel complexity of concurrent programs.
Before joining CMU, I worked as a Research Fellow at Microsoft Research, India with Akash Lal where I developed a fast method to perform precise alias analysis for C and C++ programs for Windows driver modules to automatically infer safe null pointer dereferences.