Hello! I'm Monal Narasimhamurthy, a PhD student at the University of Colorado Boulder, advised by Prof. Sriram Sankaranarayanan. I'm a member of the CU Programming Languages and Verification group. 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. Prior to that, I obtained my Bachelors degree from Birla Institute of Technology and Science, Pilani (Goa) in 2014.