在哈尔滨待了4年，我似乎连个院士都没见过。这不是说没有院士去做报告，不过计算机学院似乎还真没有院士去做过报告呢，当然这个可以有。
Edmund M. Clarke，如果你以前问我这是谁，我一定肯定以及必定说不知道。因为我是这么的渺小和闭塞。
wikipedia： Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a winner of the 2007 Association for Computing Machinery A.M. Turing Award.
怎么说我们也是学计算机的，应该知道Turing Award这几个字意味着什么，虽然说这位大师讲了一大堆我听不懂的东西，而且可以听出他也不是很善言谈，但是我们没有理由不去领略和膜拜一下人家的风采。毕竟，学问是一步一步脚踏实地做出来的，而不是七嘴八舌说出来的，不像有些人，因为不发动战争就能拿诺贝尔和平奖，看来以后出门见人可以这样打招呼了：“今天你拿和平奖了么？”
这事儿发生在好几天之前了，想想我们中国这么多人咋就没个诺贝尔奖，没个Turing Award甚至于数学上的那个什么菲尔兹奖，是把，看来教育真是出了大问题了。尽管如此，还是要对国内以及国外一些称得上大师的人，送上我们深深的敬意。毕竟，这年头，专心做学问的人太少了。