Mathias Lécuyer, Microsoft Research