Paolo Costa, Microsoft Research