" We are at the very beginning of time for the human race. It is not unreasonable that we grapple with problems. But, there are tens of thousands of years in future.Our responsibility is to do what we can, learn what we can, improve the solutions and pass them on. " - Richard P. Feynman 

Hi, this is Souradeep. I am a PhD candidate at the Department of Electrical Computer and Energy Engineering , University of Colorado at Boulder, USA. I am a part of the CUPLV research group, and primarily work on the verification aspects of cyber-physical systems.
My Adviser is Sriram Sankaranarayanan.