Ilya Mironov, Microsoft Research