I am a member of the Programming Principles and Tools and Programming Languages and Tools groups at Microsoft Research. I am also an adjunct professor at IIT Hyderabad. My research interests are: the design and analysis of reliable intelligent systems, probabilistic programming and synthesis. Over the past few years, I have worked on exploring various synergies between programming languages and machine learning – these include a) ML4PL: the use of machine learning techniques for proving programs correct, specification inference via Bayesian analysis, and b) PL4ML: probabilistic programming via program analysis, and productivity tools for machine learning tasks.