British AI pioneer joins Microsoft