Ankush Das
9225 Gates and Hillman Center
Carnegie Mellon University, PA 15213 | ankushd at cs dot cmu dot edu

About Me

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.

I completed my undergraduate at IIT Bombay, India in 2015 where I worked with Prof. Supratik Chakraborty and Prof. Akshay S on deciding termination of linear loop programs.