Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Aditya Nori

Aditya Nori

I am a member of the Programming Languages and Tools, Programming Principles 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 the use of machine learning techniques for proving programs correct, specification inference via Bayesian analysis, probabilistic programming via program analysis, and productivity tools for machine learning tasks.

Recent Publications

A complete list of publications can be found here.



Here is a list of interns and students I have advised in the past. Please email me if you are interested in working on problems \in (PL \cap ML).


Microsoft Research Ltd, 21 Station Road, Cambridge CB1 2FB, United Kingdom

Email: adityan AT

Phone: +44 1223 479700