I am a fourth 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. In the past, I have worked jointly with Prof. Frank Pfenning and my advisor on designing resource-aware session types for parallel complexity analysis of concurrent programs. Recently, I have been working with Stephanie Balzer, along with Prof. Frank Pfenning and Prof. Jan Hoffmann on designing Nomos, a type safe domain-specific programming language based on resource-aware session types for implementing smart contracts.
Before joining CMU, I worked as a Research Fellow at Microsoft Research, India with Akash Lal where I developed an efficient method to perform precise alias analysis for C and C++ programs for Windows driver modules to automatically infer safe null pointer dereferences.