I am a third year PhD student at Carnegie Mellon University. I am advised by Prof. Jan Hoffmann. I am broadly interested in programming languages with a specific focus on analysis of resource consumption of programs. I am currently working jointly with Prof. Frank Pfenning and my advisor on 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.