Hi, this is Souradeep. I am a postdoctoral researcher at University of Pennsylvania, in the Dept of Computer and Information Science, at the PRECISE center. I work  with Prof Insup Lee.

I completed my PhD from the Department of Electrical Computer and Energy Engineering , University of Colorado at Boulder, USA. I was a part of the CUPLV research group, where my adviser was Sriram Sankaranarayanan. 

My PhD thesis was in generating explanations and building verification engines for Deep Neural Networks. You can find my thesis here.

During my PhD years, I developed 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. 

" 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