I am a Professor of Instruction at Michigan State University, Department of Computer Science and Engineering. I received my Ph.D. in Computer Science from Michigan State University in 2023, where I transferred from Iowa State University in 2020 after studying there for three years (2017-2020). Previously I attended St. Thomas College of Engineering and Technology (aff. Maulana Abul Kalam Azad University of Technology f.k.a. West Bengal University of Technology) from 2013-2017 where I received my Bachelors of Technology (B.Tech) in 2017.
In my undergraduate years my research was on Data privacy, specifically on Secret sharing of data.
Now, my research involves Runtime Verification of Distributed Systems and Computer Science Education.
Ritam Ganguly
Department of Computer Science and Engineering
Michigan State University
gangulyr@msu.edu
PhD in Computer Science and Engineering• 2017 - 2023
I started as a PhD student at Iowa State University where I attended from Fall'2017 to Summer'2020 when I transferred to Michigan State University. During this time I took courses like Design and Analysis of Algorithms, Theory of Computation, Artificial Intelligence, Machine Learning, Algorithm on Big Data Sets, Formal Methods in Software Engineering, Network Security and Distributed Computation. In Michigan State University I took courses on Distributed Systems and Network Security.
B.Tech in Computer Science and Engineering• 2013 - 2017
I attended St. Thomas College of Engineering and Technology where I took courses ranging from Data Structure and Algorithm, Formal Language and Automata Theory, Object Oriented Programming, Computer Architecture, Computer Organization, Database Management System, Computer Network, Operating System, Distributed Operating System, Artificial Intelligence, Cryptography and Network Security.
CSE 260: Discrete Structures in Computer Science• Summer 2023, Fall 2023
CSE 320: Computer Organization and Architecture• Fall 2023, Spring 2024, Summer 2024, Fall 2024, Spring 2025
CSE 325: Computer Systems• Fall 2024, Spring 2025
Research Assistant: Dr. Borzoo Bonakdarpour• Spring 2021 - Present
Working on runtime verification of partially synchronous distributed system with the specification mentioned in Linear Temporal Logic and Metric Temporal Logic.
Teacher Assistant: CSE 260: Discrete Mathematics• Fall 2021, Fall 2022
Lectured and monitored online class sessions with one-to-one interactions and was responsible for grading and holding online office hours
Teacher Assistant: CSE 335: Object Oriented Software Development• Fall 2020
Lectured and monitored online lab sessions and was responsible for grading and holding online office hours
Research Assistant: Dr. Borzoo Bonakdarpour• Summer 2019 - Summer 2020
Working on decentralized runtime verification of distributed system with the specification mentioned in Linear Temporal Logic.
Teacher Assistant: COM S 227: Object Oriented Programming• Summer 2019
Lectured and monitored lab sessions and was responsible for grading and holding office hours
Teacher Assistant: COM S 321: Introduction of Computer Architecture and Machine Level Programming• Fall 2017, Spring 2018, Fall 2018, Spring 2019
Assisted the instructor develop homework and in-class activities along with occassionally teaching the class when the instructor was not available. Also responsible for grading and holding office hours.
Teacher Assistant: COM S 207: Fundamentals of Computer Programming• Summer 2018
Lectured and monitored lab sessions and was responsible for grading and holding office hours
2022 Engineering Graduate Research Symposium• Best Poster
Computer Science Graduate Poster Session 2019• 3rd place
Graduate College: Teacher Excellence Award• 2019
Girls Who Code, Michigan State University• 2023-present
Computer Science Undergraduate Curriculum Committee• 2023-present
SMC-IT-SCC• 2023
RV• 2023
DISC• 2022
OPODIS• 2021
RV• 2021
SRDS• 2021
SRDS• 2021
Computer Science Graduate Student Organization• Treasurer (2018-2020)