"The young do not know enough to be prudent, and therefore they attempt the impossible, and achieve it, generation after generation."
by Pearl S. Buck
I am a Post Doctoral Researcher at IMPACT Lab, Arizona State University. My research interests include pervasive computing in healthcare and analysis, and safety verification of embedded system software. I am also interested in hybrid system based modeling and safety verification of closed loop control systems which interact with the physical environment, also known as Cyber-Physical Systems. In addition, I also work on developing management algorithms for sustainable data centers using renewable sources of energy. For more details, please visit my project webpage and browse through the list of projects.