我想应该跟这个版也有关吧. 连结在此 请安心食用: 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