I am a PhD student at Iowa State University working in the Laboratory for Temporal Logic, and advised by Kristin Y. Rozier and Gianfranco Ciardo. My research focuses on the use of formal methods to scale symbolic model checking algorithms. Specifically, I am interested in the design of tools and algorithms that check sets of models. More recently, I have been interested in model-set relevance, i.e., to prove a property about a set of system models, how do you decide which part of the models are relevant to that property? Earlier, I did some research in the design of embedded systems for applications in brain machine interfaces. I obtained my M.S. in Embedded Systems from the University of Pennsylvania, and B.E. from the University of Delhi.