Biography
Ritam Ganguly’s research interests include formal methods and its application on distributed systems, cyber-physical systems, and multi-agent systems.
Research Area
Education
Ph.D. in Computer Science from Michigan State University, 2023
B. Tech in Computer Science and Engineering from Maulana Abul Kalam Azad University of Technology, 2017
Primary Department
