John D. Davis, Microsoft Research