I work as an R&D engineer in formal verification technologies at IBM. I received my PhD in Computer Science from Iowa State University working in the Laboratory for Temporal Logic, and advised by Kristin Y. Rozier and Gianfranco Ciardo. I obtained my M.S. in Embedded Systems from the University of Pennsylvania, and B.E. from the University of Delhi.