Michel Goraczko, Microsoft Research