He received his Ph.D. in Computer Science from the University of Nebraska - Lincoln in 2011. Before that he worked with Tech Mahindra (India) and with British Telecom (U.K.) from 1996 to 2006 in various capacities as a software engineer, a project leader and a senior consultant. From 2011 to 2013 he worked at the University of Nebraska – Lincoln as a postdoctoral researcher where he conducted research on the analysis of robotic systems and runtime monitoring of resource constrained systems. His research has appeared in the proceedings of several reputed conferences including OOPSLA, ICSE, ISSTA, ASE, PEPM, and RV. He has received the ACM distinguished research paper award for the work which was presented at ISSTA 2013.