Richard Mortier, Microsoft Research Ltd, Cambridge, UK