I am a final year PhD student at Carnegie Mellon University advised by Prof. Jan Hoffmann, but also closely work with Prof. Frank Pfenning. 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 contr