Aditya Nori

Aditya Nori
SENIOR RESEARCHER
.

I am a member of the PLATO and MLO areas at Microsoft Research India. I am also an adjunct professor at IIT Hyderabad. My research interests include algorithms for the analysis of programs and machine learning with special focus on tools for improving software reliability and programmer productivity. I obtained my PhD from the Indian Institute of Science, Bangalore and Priti Shankar was my advisor

Recent Publications

A complete list of publications can be found here.

Recent Talks

A complete list of talks can be found here.

  • Probabilistic Programming: A program analysis perspective. Formal Methods Update, IIT Delhi, July 2013
  • Probabilistic Programming: A program analysis perspective. Stanford University, May 2013
  • Probabilistic Programming: A program analysis perspective. Georgia Institute of Technology, May 2013
  • Program verification via machine learning. Formal Methods Workshop, Chennai Mathematical Institute, January 2013

Activities

Interns

Here is a list of interns and students I have advised in the past. Internships at MSR India are open throughout the year. Please email me if you are interested in working on problems related to static/dynamic/statistical analysis of programs.

Contact 

Microsoft Research India, "Vigyan", #9 Lavelle Road, Bangalore 560 025, India

Email: adityan AT microsoft.com

Phone: 91-80-66586000

Fax: 91-80-23614657