About
I am a principal researcher at Microsoft Research India. I completed my PhD in Computer Science (opens in new tab) at Stanford University in 2016. My primary research interest in the intersection of programming languages and machine learning: building compilers for efficient and secure machine learning as well as applying machine learning to write and to verify software.