I am a Ph. D. student in the  Department of Computer Science and Engineering at  Michigan State University. I work under the guidance of  Dr. Sandeep Kulkarni in the Software Engineering and  Networks Systems (SENS) Laboratory .

My research interests include Software Engineering, Formal Methods, Fault-Tolerance and Distributed Computing.