Austin Donnelly, Microsoft Research Ltd.