JurisHartmanis，在前面的一篇日志中已有过介绍。今天获悉，他被聘为中科院爱因斯坦讲习教授。上午，所里的计算机科学国家重点实验室报告厅，有他的一个报告：TheChanging ComputerScience。虽然Turing奖得主来访软件所不止这一遭，但是，以前由于种种原因，一直没听过他们的报告会，这次是首次亲眼目睹Turing奖得主的风采。老头子已年近八秩，精神仍矍铄得很，慈眉善目，笑起来挺可爱的。在演讲中，出现最多的词是：interesting,complex和mathematics，此人的风貌，由此可以管窥一二。他在讲述纳什均衡（NashEquilibrium）时，举了BraessParadox的例子，颇有意思。在下面的链接中，有BraessParadox的简要介绍，感兴趣者不妨去看看：http://vcp.med.harvard.edu/braess-paradox.html