I'm a PhD student at the University of Colorado Boulder and a member of the CU Programming Languages and Verification group. I'm advised by Prof. Sriram Sankaranarayanan. We are currently building tools to verify deep neural networks.
I received my Masters degree from the University of Colorado Boulder in 2017. I was advised by Prof. Matthew Hammer and we worked on extending Adapton, an incremental computation framework. I obtained my Bachelors degree from Birla Institute of Technology and Science, Pilani (Goa) in 2014.