Ritam Ganguly received his bachelor's degree in Computer Science and Engineering from Maulana Abul Kalam Azad University of Technology, India, in 2017 and is currently pursuing his Ph.D. in Computer Science from Michigan State University. His research interests include distributed computing, formal methods, blockchains and runtime-verification.
Given the exponential number of inter-leavings in a distributed system, it is important to design a scalable algorithm to tackle it. He designs and applies runtime verification techniques for distributed systems with respect to a set of formal specifications.
Besides research, he is interested in photography and hiking. As of 2021, he has hiked one of the highest mountains in USA, Mt. Democrat (14, 154 feet).
Ritam Ganguly's Ph.D. dissertation is available here.
