Aditya Nori

Aditya Nori is the Director of the Healthcare Intelligence group (aka.ms/HealthcareIntelligence) at Microsoft Research, Cambridge, UK. His research focuses on human-centered machine learning for healthcare. Aditya has led key research areas in ML-based productivity tools for cancer treatment (The InnerEye Project). He is also an expert in the programming languages area, and his work has explored various synergies between programming languages and machine learning and inspired new perspectives in formal verification, probabilistic programming, and reliable machine learning. He has developed several programmer productivity tools, including the next generation of the Static Driver Verifier toolkit for Microsoft Windows. He is a recipient of two ACM SIGSOFT distinguished paper awards.