Microsoft Research
By 2011 he was principal researcher at Microsoft Research and manager of the Microsoft Research Theory Group, an affiliate professor of mathematics at the University of Washington and an adjunct professor at the University of California, Berkeley.