Ankush Das

Ankush Das is an assistant professor in the Computer Science Department at Boston University. His research interests are broadly in the area of programming languages, with applications in cryptographic protocols, distributed systems, and recently in probabilistic and machine learning models. Until Dec 2023, he worked as an applied scientist at Amazon’s Automated Reasoning Group. At Amazon, he worked on testing and verification of distributed protocols and proving security and privacy of distributed systems. Ankush graduated with a PhD from Carnegie Mellon University in 2021, where he was advised by Prof. Jan Hoffmann and closely worked with Prof. Frank Pfenning.