" 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, where my adviser is Sriram Sankaranarayanan. 

My research interests lie in generating explanations and building verification engines for Deep Neural Networks.  Currently I am developing a tool  called SHERLOCK, which can be used to propagate polyhedrons in the input space through a Deep Neural Network. This, in turn can be used to verify safety and stability aspects for robotic systems, with a neural network as a controller. The approach followed in SHERLOCK can also be used to verify properties of some image classification networks.  Google Scholar Link.