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

About Me



I am a fifth year PhD student at Carnegie Mellon University advised by Prof. Jan Hoffmann. I am broadly interested in programming languages with a specific focus on resource analysis, session types and language design for smart contracts on the blockchain.

I am the lead designer and developer of Nomos, a domain-specific language for implementing smart contracts. This language provides 4 key features, i) a session type based mechanism for expressing the contract protocol, ii) a resource type system for expressing and automatically verifying the gas bound of a transaction, iii) a linear type system to handle assets, and iv) a design guarantee of no re-entrancy attacks.

In the past, I have worked jointly with Prof. Frank Pfenning and my advisor on designing temporal and resource-aware session types for parallel and sequential complexity analysis of concurrent programs.

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.