Andrew Birrell, Microsoft Research