About Me

I am a PhD student at Michigan State University, Department of Computer Science and Engineering. I transferred to Michigan State 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 receiving my Bachelors of Technology (B.Tech) in July 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 System.

Contact Details

Ritam Ganguly
Department of Computer Science and Engineering
Michigan State University
gangulyr@msu.edu

Education

Michigan State University

PhD in Computer Science and Engineering 2017 - Present

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.

Maulana Abul Kalam Azad University of Technology

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.

Work

Michigan State University

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

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

Iowa State University

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

Awards

Michigan State University

2022 Engineering Graduate Research Symposium Best Poster

Iowa State University

Computer Science Graduate Poster Session 2019 3rd place

Iowa State University

Graduate College: Teacher Excellence Award 2019

Membership

Reviewer

DISC 2022

OPODIS 2021

SRDS 2021

Conference Web-chair

SRDS 2021

Iowa State University

Computer Science Graduate Student Organization Treasurer (2018-2020)