Marvin Theimer, Microsoft Research