中国计算机科学2020研讨会 。科学家名单
作者 陈怀临 | 2009-10-18 18:57 | 类型 科学与中国, 计算的美丽 | 21条用户评论 »
|
1. 哈佛大学教授、1976年图灵奖获得者、美国国家科学院院士Michael O. Rabin。演讲题目：Privacy and Secrecy in the Age of the Internet and Search Engines 2. 伯克利加州大学教授、1985年图灵奖获得者，美国国家科学院院士，美国国家工程院院士Richard M. Karp。演讲题目：What Makes an Algorithm Great? 3. 康奈尔大学教授、1986年图灵奖获得者，美国艺术与科学院院士，美国国家科学院院士John E. Hopcroft。演讲题目： Future Research Directions in Computer Science 4. 卡内基梅隆大学教授，1994年图灵奖获得者Raj Reddy。创新工场老总李开复在CMU时候的博士导师。 演讲题目：Technology in Service of Society 5. 卡内基梅隆大学教授，2007年图灵奖获得者Edmund Clarke。 演讲题目：Model Checking: My 28-year Quest to Overcome the State Explosion Problem 6. 伯克利加州大学教授、美国艺术与科学院院士、美国国家工程院院士、美国国家科学院院士Christos Papadimitriou。 演讲题目： The Algorithmic Lens: How the Computational Perspective is Changing the Sciences。 7. 卡内基梅隆大学教授、美国艺术与科学院院士Jeannette Wing。 演讲题目：Computational Thinking and Thinking About Computing 8. 伯克利加州大学教授、美国工程院院士，美国科学院院士David Patterson。 演讲题目：Your Students Are Your Legacy 9. 麻省理工学院教授、美国艺术与科学院院士、美国国家工程院院士、美国国家科学院院士Silvio Micali。 演讲题目： New Mechanisms for A New World 10. 斯坦福大学教授，麦克阿瑟奖获得者Daphne Koller。 演讲题目：Probabilistic Models for Holistic Scene Understanding 11. 普林斯顿大学教授Sanjeev Arora。 演讲题目：Computer Science: A New Way to Think 12. 普林斯顿高等研究院Avi Wigderson。 演讲题目：Randomness – A Computational Perspective 13. 美国能源部Argonne国家实验室高级院士Charlie Catlett。 演讲题目：The Personal Digital Augmenter and Buffer Overflow in Humans 14. 匈牙利罗兰大学教授Laszlo Lovasz。 演讲题目：Large Networks: A New Language for Science 【附录：对计算机界图灵奖获得者有兴趣的读者，可以参阅】 | |
 (2个打分， 平均：5.00 / 5) |
谁能数据挖掘出2009年10月在清华大学的中国计算机科学2020研讨会中，姚期智邀请来的14位科学家名单和其详细背景？天下除了《弯曲评论》，存在第二家的可能性就像下面理论计算科学家研究的不确定问题一样，基本上是不可在多项式时间算法下求证。除非拿出反例（certificate），断言可以但很难证伪：-）。雁过留声
“中国计算机科学2020研讨会 。科学家名单”有21个回复
除了8和13，基本上全是计算理论方面的世界级选手。8许多人知道。13知道的人不太多。特别是弯曲评论的读者。感觉姚期智先生应该在系统方面利用影响力做点贡献。陈首席不才。个人觉得姚期智应该把Xiaodong Zhang挖回去。当然这里面难道很大。。。Kai Li是个好人选。但亿万富翁。。。。另外，也不知当年在普林斯顿关系如何：-）？
总之，计算理论的比重太大了。。。。其实实在不行，我也可以将就一点。Sorry，清华将就一点：-）
哇塞，都是些巨牛啊。穷尽我一生也难以望其项背啊。陈兄知道国内有多少得图灵奖的？希望你也成为一个，呵呵！
“陈兄知道国内有多少得图灵奖的？希望你也成为一个，呵呵！”
你？？？？你今天体温没有不正常吧？？？您在说什么呢？？
请抬头，看看窗外。确认一下北在哪里？：-）。我塞，“国内有点多少的图灵奖的？”。。。
后半句倒是讨喜：-）。行，我改天就中一次！：-）
除了姚之外，没其他华人了吗？
其实这个名单网上都有呃：
http://www.itcs.tsinghua.edu.cn/ChinaCS2020/
详细资料的话把每个人的名字放到google里一搜就有了。
另外，讲座的那段时间，这14个人的海报清华那几栋楼里到处都是。
谁能数据挖掘出2009年10月在清华大学的中国计算机科学2020研讨会中，姚期智邀请来的14位科学家名单和其详细背景？
清华任何一个姚班学生都可以，虽然我不是他们里面的人，但是这个活动是有网站的呃…
http://www.itcs.tsinghua.edu.cn/ChinaCS2020/
这14个人的名单应该不难找出来吧
随便一搜，这个名单网上都有呃…
阿伦兄弟你真是太聪明了，我咋就没想到捏～
无非就想找点东东八卦下，呵呵。
如果能挖掘到演讲的稿件就更出彩了。
5. 卡内基梅隆大学教授，2007年图灵奖获得者Edmund Clarke。 演讲题目：Model Checking: My 28-year Quest to Overcome the State Explosion Problem
克拉克，神人呵。
这次聚会确实太狠。可以这么说，即使你胡温亲自打电话，买单，这几个图灵奖也不一定乐意来你清华免费玩一趟。可见姚期智先生确实是牛人呀。只有牛人才会appreciate牛人。
我倒是很奇怪Patterson这次来。莫非他在与各位搞好关系，要冲一次？我到时真心希望给他一个机会。否则图灵奖的理论成分太大，没啥意思。
很多若贝尔得主现在在中国可是走马灯式的来回穿梭演讲，给钱、有时间几乎没有不来的：-）
没有基础理论研究，何谈科技强国呢?
国家要强大，就要一步一个脚印的来，多投入一些基础理论的研究。若干年后，成果才会造福于社会。
应用可以富国，但不能强国！
我倒是觉得100G的单芯片解决方案可以强国。NP=P好像离富国都很遥远，更别说强国了：-）。我们可以具体讨论NP的问题。我似乎对这方面也比较熟悉：-）
》》没有基础理论研究，何谈科技强国呢?
建议改成 “没有基础研究”。
邀请的都是计算理论和人工智能的大神啊
不过的确是，写C的都是认为你做网页的是做应用的，做CPU的认为你写代码的是做应用的，做计算理论的认为你做cpu也就是做应用的，哈哈
这倒不是。计算机科学有点与数理化不同。计算理论基本上属于数学的一个分支。研究数学的看不起做cpu的和做操作系统的，应该不会。基本上就是两个世界。
其实算法在各个层面都是一样的。
算法是理论和应用的接合点？！
计算机从本质而言应该是一个工程，而非一个science。正因为如此，非要说computer science。没看见生物系是自己是：biology science；或者：math science department。
即使姚期智先生他们研究的这些，从数学的角度而言，应该是应用数学范畴：-（。丘成桐一定不太看得起。。。
那么计算机技术的精华在哪里？一定不要朝科学上靠。这样只能自取其辱。
我们的荣誉在哪里？—系统工程。
一个路由器是一个大系统。是一个控制系统。
这就是其中之复杂；其中之美。
一个CPU是一个大系统。是一个控制系统。
这就是其中之复杂；其中之美。
另外，对取舍(tradeoff)的把握，这是非science能做的。
最复杂的，对大型软件系统legacy issue的把握。这就远非几篇学术文章所能touch的了。
My 2 cents。
另外，对取舍(tradeoff)的把握，这是非science能做的。
这点值得商榷。个人感觉science才能指导我们做到最优化，如果有问题需要tradeoff，那可能就是量化不够精确导致的。
威廉姆，感觉您不是像我们这样的靠写代码讨生活的，估计是个学生，或者教授。
最优算法常常在工业界没有什么意义。次优界反而是最好的。
许多事情是非量化-able的。例如，一个问题在哪个release做？如何做？做的风险有多大？带来的side effect如何判断？
这是教授们或者算法教条主义者不太容易把握的事情。。。：–）