Microsoft Research Cambridge

2004年1月1日

Simon Peyton Jones elected Fellow of the ACM.

2003年1月1日

For the 1993 paper, Imperative functional programming.

2000年11月6日

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 couldn’t avoid silly flubs — ones…

2000年7月14日

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 of the world’s most prestigious awards, Kyoto…