Bryan Parno, Microsoft Research