معرفی
Ankush Das is a tenure-track assistant professor in the Computer Science Department at Boston University. His research focuses on programming languages with applications in cryptographic protocols, distributed systems, and probabilistic and machine learning models. Prior to joining Boston University, he worked as an applied scientist at Amazon in the Automated Reasoning Group until December 2023.
Dr. Das received his PhD from Carnegie Mellon University in 2021, where he was advised by Prof. Jan Hoffmann and worked closely with Prof. Frank Pfenning. He completed his undergraduate studies at IIT Bombay, India in 2015.
His research interests span a wide range of topics within programming languages, with specific focus on resource analysis, session types, distributed protocols, and language design for smart contracts on the blockchain. He is particularly interested in developing type systems that can ensure safety and efficiency properties in concurrent and distributed systems. His work has led to the development of domain-specific languages like Nomos for implementing smart contracts and Rast for resource-aware session types with arithmetic refinements.
Dr. Das's publication record demonstrates a consistent focus on advancing type theory and its applications to practical systems. His work frequently appears in top-tier programming languages conferences such as POPL, PLDI, and ICFP. A notable trend in his recent work is the extension of session types to handle probabilistic computations and resource-aware programming, reflecting the growing importance of these areas in modern distributed systems.
His scientific achievements have been recognized with several prestigious awards:
- Distinguished paper award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism"
- Best system description paper award by a junior researcher at FSCD 2020 for "Rast: Resource-Aware Session Types with Arithmetic Refinements"
Dr. Das is actively mentoring PhD and undergraduate students at Boston University. His current advisees include Anthony DeRossi, Toby Ueno, Brendan Coyne, Qiancheng Fu, June Wunder, Sam Buxbaum, and Sakshi Sharma. He is looking for motivated PhD students to join his research group, with opportunities to work on cutting-edge problems in programming languages and their applications to distributed systems and security.
At Boston University, Dr. Das leads research efforts in programming language theory and its applications. His work bridges theoretical foundations with practical implementations, particularly in the areas of smart contracts and distributed protocols. He has collaborated extensively with researchers from Carnegie Mellon University, including his former advisors Jan Hoffmann and Frank Pfenning.
