1045 Regent Drive 430 UCB
Boulder CO, 80309‐0430 USA
Tuesdays and Thursday 9:45 - 11 a.m.
I am interested in techniques for reasoning about cyber‐physical systems that model computer systems interacting with the physical world. This involves techniques that will automatically prove that the systems are correct or try to find bugs in the systems. My work combines mathematical techniques from dynamical systems theory with computational techniques from logic, decision procedures, constraint solvers and optimization tools.
BTech, Indian Institute of Technology Kharagpur; MS, PhD, Stanford University
I obtained my undergraduate degree from the Indian Institute of Technology (IIT), Kharagpur, India in 2000, and a PhD degree in Computer Science from Stanford University in 2005. Subsequently I was employed as a research staff member at NEC Laboratories America, Princeton, NJ. I have been an Assistant Professor at the University of Colorado since fall 2009. I have been the recipient of awards and honors including the Dean's Award for Outstanding Junior Faculty (2011), the NSF CAREER Award (2010), the NEC Labs Technology Commercialization award (2007), Siebel Scholarship (2005) and the President of India Gold Medal from IIT Kharagpur (2000).