刚得知的消息
本科的时候带我做research的Prof. E. Allen Emerson
由于开创了”Model Checking“领域而得了今年的图灵奖
这基本是计算机界最高奖了（诺贝尔奖那个级别的）
Congratulations Prof. Emerson!!
This entry was posted
on Monday, February 4th, 2008 at 11:03 pm and is filed under Interesting, Tech.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
Random Pics
Archives
- November 2008 (2)
- October 2008 (9)
- September 2008 (5)
- August 2008 (2)
- July 2008 (6)
- June 2008 (3)
- May 2008 (12)
- April 2008 (10)
- March 2008 (3)
- February 2008 (18)
- January 2008 (22)
- December 2007 (11)
- November 2007 (7)
- October 2007 (10)
- September 2007 (3)
- May 2007 (2)
- April 2007 (2)
- March 2007 (3)
- February 2007 (2)
- January 2007 (1)
- November 2006 (2)
- October 2006 (3)
- September 2006 (3)
- August 2006 (1)
- June 2005 (3)
- May 2005 (1)
- March 2005 (4)
- February 2005 (6)
- January 2005 (12)
- December 2004 (7)
- November 2004 (3)
- October 2004 (3)
- September 2004 (3)
- August 2004 (7)
- July 2004 (2)
- June 2004 (7)
- May 2004 (5)
- March 2004 (2)
- January 2004 (2)
- December 2003 (7)
- September 2003 (1)
- August 2003 (6)
- July 2003 (8)
- June 2003 (12)
- May 2003 (8)
- April 2003 (9)
- March 2003 (10)
- February 2003 (7)
- January 2003 (14)
- December 2002 (12)
- November 2002 (2)
- October 2002 (4)
- June 2002 (1)
Recent Comments
- Fan on 近况
- SUN on 近况
- Fan on DO NOT VOTE…unless…
- wo on DO NOT VOTE…unless…
- Fan on Pi Pie
投票
Loading ...Statistics
- Pages displayed : 23782
- Unique visitors : 11001
- Pages displayed in last 24 hours : 38
- Unique visitors in last 24 hours : 23
Powered by FireStats
3 comments so far
Leave a reply