I lead the Healthcare Intelligence research theme at Microsoft Research Cambridge.
My research focuses on human-centred machine learning for healthcare. I have also led key research areas in ML-based productivity tools for cancer treatment (see The InnerEye Project).
In the past, I have explored various synergies between programming languages and machine learning and my work has inspired new perspectives in formal verification, probabilistic programming, and reliable machine learning. I have developed several programmer productivity tools, including the next generation of the Static Driver Verifier toolkit for Microsoft Windows.