Microsoft Research Cambridge

January 1, 2004

Simon Peyton Jones elected Fellow of the ACM.

January 1, 2003

For the 1993 paper, Imperative functional programming.

November 6, 2000

CAMBRIDGE, England, Nov. 6, 2000 — It’s been 50 years since Sir Anthony Hoare studied Latin and Greek as a schoolboy, but he still remembers the difficulty of mastering each tongue’s complicated grammar rules. As hard as he tried, he…

July 14, 2000

CAMBRIDGE, UNITED KINGDOM, July 14th 2000 — Professor Tony Hoare, a member of Microsoft Research’s lab in Cambridge UK, has been awarded this year’s Kyoto Prize by Japan’s Inamori Foundation for his pioneering and fundamental work in software science. One…