Cédric Fournet, Microsoft Research