Von 1999 an war er Senior Researcher in Mathematik bei Microsoft Research in Redmond. ###>In 1999 he moved to the Theory Group at Microsoft Research in Redmond, Washington, where he remained for the rest of his life.