4
Feb

2007 Turing Award Winners Announced

   Posted by: Fan   in Interesting, Tech

刚得知的消息
本科的时候带我做research的Prof. E. Allen Emerson
由于开创了”Model Checking“领域而得了今年的图灵奖
这基本是计算机界最高奖了(诺贝尔奖那个级别的)
Congratulations Prof. Emerson!!

Tags: ,

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.

3 comments so far

 1 

e..这就是你说的 牛人。。。

February 6th, 2008 at 5:11 pm
 2 

这个就不是一般的牛人
属于最牛的那类了

February 6th, 2008 at 5:22 pm
 3 


看样子也像。

February 6th, 2008 at 5:37 pm

Leave a reply

Name (*)
Mail (will not be published) (*)
URI
Comment
FireStats icon Powered by FireStats