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

Aditya Nori

I am a member of the Programming Principles and Tools group at Microsoft Research Cambridge. I am also an affiliate member of the Programming Languages and Tools group at Microsoft Research India.

My research interests are: the design and analysis of reliable intelligent systems and probabilistic programming.  Over the past few years, together with wonderful colleagues, I have worked on exploring various synergies between programming languages and machine learning. These include: a) ML4PL: the use of machine learning techniques in program verification, specification inference via Bayesian analysis, and b) PL4ML: 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