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

Recent News

  • Feb, 2019

    I am looking forward to interning at Blockchain team at Facebook with Shaz Qadeer this summer.

  • Jan, 2019

    I am excited to announce that I will be proposing my thesis on 15th Feb, at 11 am in 4405 Gates Hillman Center, CMU. The topic of my thesis is "Resource-Aware Session Types for Digital Contracts" (pdf). Please consider attending if you are around.

  • Nov, 2018

    I am excited to be serving on the program committee of DICE-FOPARA 2019, co-located with ETAPS 2019. Please consider submitting your latest work.

  • Nov, 2018

    Our latest submission Resource-Aware Session Types for Digital Contracts is now online. We design a new programming language Nomos with support for tracking resource usage, as well as a linear type system for tracking funds to implement safe digital contracts.

  • Jun, 2018

    I am honored to be serving on the POPL 2019 artifact evaluation committee. Please consider accompanying your POPL submissions with artifacts.

Older Updates