Skip to main content

Ritam Ganguly

Ritam Ganguly
Ph.D. student (Graduated 2023)
Biography:

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.

gangulyr@msu.edu

Publications

2024

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy, "Distributed runtime verification of metric temporal properties" Journal of Parallel and Distributed Computing, Elsevier, 2024.   JPDC24.pdf (1.06 MB)   

2023

Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour, "Crash-Resilient Decentralized Synchronous Runtime Verification" Transactions on Dependable and Secure Systems (TDSC), IEEE, 2023.   tdsc23.pdf (2.48 MB)   
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, "Runtime Verification of Partially-Synchronous Distributed System" Springer Journal on Formal Methods in System Design (FMSD), , 2023.   fmsd23.pdf (694.03 KB)   

2022

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy, "Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols" International Conference on Distributed Computing Systems, IEEE, 2022.   main.pdf (503.17 KB)   

2020

Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, "Monitoring Distributed Systems under Partial Synchrony" The 25th International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2020.   opodis20.pdf (688.15 KB)