Rohit Dureja
Graduate Student
Department of Computer Science
Iowa State University

About Me

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.