VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Aditya Nori

Registered user since Thu 13 Nov 2014

Name:Aditya Nori
Bio:

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, and an adjunct professor at IIT Hyderabad.

My research interests are: the design and analysis of reliable intelligent systems and probabilistic programming. 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 in program verification, specification inference via Bayesian analysis, and b) PL4ML:- probabilistic programming via program analysis, and productivity tools for machine learning tasks.

Country:India
Affiliation:Microsoft Research, UK
Research interests:Programming languages, Machine learning

Contributions

POPL 2016 Session Chair of Track 2: Probabilistic and statistical analysis (part of Research Papers)
Query-Guided Maximum Satisfiability
Show activities from other conferences

POPL 2016-profile
View general profile