Thomas Zimmermann, Microsoft Research