Assistant Professor
Ankush Das is an assistant professor in the Computer Science Department at Boston University. Before that, he was an applied scientist at Amazon AWS where he built tools for model checking distributed protocols. He completed his PhD from Carnegie Mellon University in 2021 where he worked with Prof. Jan Hoffmann and Prof. Frank Pfenning. He also worked as a research fellow with Akash Lal at Microsoft Research, Bangalore and a research intern with Shaz Qadeer at Meta.
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.