Interesting - if you're 'into' research


 
And, if you'd like to read more really interesting and technical stuff from MSR, then  - add this RSS feed, and/or browse around their anonymous FTP site at ftp.research.microsoft.com
 

Of course, there's 'ours' too - which is packed full of fun stuff ... (an aside: it's a wonder why Andrew didn't get a BCS Distinguished Dissertation Award for his SE Theorem Proving work!)  Sometimes, the world just ain't fair!

  • Share This Post:
  • Share on Twitter
  • Share on Facebook
  • Share on Technorati

Print | posted on Friday, August 13, 2004 2:21 PM