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. I am interested in the design of tools and algorithms that check sets of models and properties. 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.