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.