Ankush Das

Ankush Das is an Assistant Professor in the Computer Science Department at Boston University. His research focuses on programming languages with applications in cryptographic protocols, distributed systems, probabilistic models, and machine learning. He holds a PhD from Carnegie Mellon University (2021) and a Bachelor of Technology from Indian Institute of Technology Bombay (2014). Prior to academia, he worked as an applied scientist at Amazon AWS and as a research fellow at Microsoft Research and Meta.

Research interests include formal verification of distributed systems, session types for resource management, and probabilistic programming models. His work bridges theory and practice through tools like the Rast language for resource-aware session types and Nomos for smart contracts.

Notable contributions include advancements in gas-cost analysis, protocol verification, and automated analyses of IoT systems. His publications emphasize formal methods applied to real-world systems like blockchain smart contracts and distributed protocols.

Academic background includes collaborations with Prof. Jan Hoffmann and Prof. Frank Pfenning at CMU, and internships at Microsoft Research and Meta. No formal awards are listed, though his work has been presented at venues like FSCD and various conferences.