Manuel Costa, Microsoft Research Cambridge