我想應該跟這個版也有關吧.
連結在此 請安心食用:
http://awards.acm.org/homepage.cfm?srt=all&awd=140
2007 年的得獎者是:
Clarke, Edmund M
Emerson, E Allen
Sifakis, Joseph
根據剛剛那個網頁的資料, 三人得獎都是因為:
"For his role in developing Model-Checking into a highly effective
verification technology, widely adopted in the hardware and software
industries."
以下是 Turing award 的介紹, 也是從剛剛那網頁看來的:
"ACM's most prestigious technical award is accompanied by a prize of
$250,000. It is given to an individual selected for contributions of
a technical nature made to the computing community. The contributions
should be of lasting and major technical importance to the computer
field. Financial support of the Turing Award is provided by the Intel
Corporation and Google Inc."
這邊有詳盡的介紹, 雖然敝人看不懂:
http://www.acm.org/press-room/news-releases/turing-award-07/
這邊也有個介紹, 一樣是敝人看不懂的:
http://weblog.fortnow.com/2008/02/this-years-turing-award-model-checking.html
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.68.2