Reflections on Software Research–关于软件研发的反思
作者 陈怀临 | 2011-10-14 15:51 | 类型 学术园地, 计算的美丽 | 8条用户评论 »
随风而逝:Dennis Ritchie大师10月8日离世
作者 高飞 | 2011-10-13 11:33 | 类型 人物评述, 行业动感, 计算的美丽 | 38条用户评论 »
|
生卒年月与地点: 1941年9月9日生于纽约州Bronxville,2011年10月8日卒于新泽西Murray Hill,享年70岁 工作单位:贝尔实验室 毕业学校:哈佛大学,学士(1962年),博士(1968年) 毕业专业:物理学,应用材料学 退休时间和最后职务:2007年,朗讯贝尔实验室系统软件研究部主任 从业领域:计算科学 主要发明:C语言,Unix操作系统(与Ken Thompson共同发明) 主要著作: 主要荣誉: 1988年,当选美国国家工程院院士,贡献为”development of the ‘C’ programming language and for co-development of the UNIX operating system.” 1990年,IEEE汉明奖(Richard W. Hamming Medal),与Ken Thompson共同获得,获奖理由:”for the origination of the UNIX operating system and the C programming language.” 1999年:获得1998年度美国国家科技奖章(National Medal of Technology),与Ken Thompson共同获得,颁奖人:比尔克林顿,见上右图。获奖理由:”for co-inventing the UNIX operating system and the C programming language which together have led to enormous advances in computer hardware, software, and networking systems and stimulated growth of an entire industry, thereby enhancing American leadership in the Information Age.”(共同发明了Unix操作系统和C程序语言,推动了计算机硬件、软件和网络系统研究的卓越进展,并由此带来了一个全新的产业,确保了美国在信息时代的领先地位) ==================== | |
计算的美丽–2010图灵奖获得者Les Valiant
作者 陈怀临 | 2011-03-26 13:15 | 类型 计算的美丽 | 8条用户评论 »
|
ACM对Les获得2010年图灵奖的官方评语是: “For transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.” 【编者译】授予Dr. Les Valiant图灵奖,以表彰其在计算理论方面,特别是机器学习领域中的概率近似正确理论的开创性贡献,枚举和计算代数复杂性,并行和分布式系统方面的其他贡献。 Les Valiant,生于1949年3月28日,英国科学家。1974年从University of Warwick获得其计算机科学的博士学位。目前是哈佛大学计算机和应用数学系的教授。 Les在计算理论方面最大的贡献是Probably approximately correct learning。PAC的意义大概如下:该模型可解决信息分类的问题,比如判断一封邮件是不是SPAM。为解决信息分类问题,学习算法会根据过去的经验而设计一个概率假设,并将此假设作为判断依 据。然而,这种根据过去经验的泛化可能并不适用于将来,比如过度泛化。PAC模型可最大限度地降低泛化带来的错误,这就是为什么它被称为“概率近似正确” 的原因。此学习模型对于机器学习、人工智能和其他计算领域(如自然语言处理、笔迹识别、机器视觉等)都产生了重要影响。 除计算机复杂性理论之外,Valiant还为并行计算和分布式计算作出了重要的贡献。 在过去的几年内,Valiant还致力于计算神经学的研究,他为大脑设计了一个数学模型,并将此它与复杂的认知功能建立了关联。此发现发表在《Circuits of the Mind》一书中。 | |
2009图灵奖-Charles P. Thacker
作者 root0o | 2010-03-11 07:01 | 类型 人物评述, 弯曲推荐, 计算的美丽 | 16条用户评论 »
|
本人虽然尊重图灵奖,但是对 图灵奖并没有太深的兴趣,为什么呢?因为图灵奖的获奖人员搞的研究都比较学究.本人只是一个穷工程师而已,因此,对于太学究的研究不太感兴趣(但我很尊重从事这方面的研究人员,比如号称精通形式语言的陈首席).但是这次对于Charles P. Thacker能获得图灵奖我还是很高兴的.因为Charles从事的是我感兴趣的研究计算机体系结构. Charles赖以获奖的Alto是由他1973年在施乐帕克(Xerox PARC)研究中心的时候年设计制造.之所以说它是第一台个人电脑是因为它已经具有PC的一般特征.Alto具有显示器,鼠标,键盘.硬盘,GUI以及 以太网连接(厉害吧). 可惜的是当时施乐帕克研究中心并没有意识到它的商业价值,从而Alto的新颖设计沦为为他人(Apple)作嫁衣的角色. 据说后来 Steve Jobs访问PARC的时候,被Alto的一些设计所吸引,随后这些设计被用在了苹果的Macintosh computer中,比如鼠标,GUI.等到PARC醒悟的时候,为时已晚,市场已经发生了变化. 另外,以太网的技术后来被licence给了3COM,而后者则成为网络设备领域重要的厂商. 虽然Alto没有取得商业价值,但是其孵化出来的技术却影响了后来的个人计算机,以及成就了其他公司。从人类整个财富的角度来说,贡献还是大大的. 在1983年,Charles Thacker离开了PARC,并作为创办人之一创办了DEC SRC(System Research Center)(SRC是的leader是 Robert Taylor, 原先也在PARC供职,因为内部权力斗争离开了PARC从而创办SRC.也许Charles也想离开PARC,因此和Robert Taylor一拍即合).Charles在SRC的经历也验证了牛顿第一定律,sorry,笔误,是牛人第一定律:牛人在什么地方都是牛的.除了Alto,实际上他在计算机体系结构和网络方面也颇有建树.在 SRC,Charles领导了第一台多处理器工作站Firefly和第一个Alpha架构的多处理器Alpha Demonstration Unit的开发. 并且它的研究团队设计出了AN1(Autonet)以及AN2,后者后来成为了DEC的Gigabit/ATM产品. 1997年 Charles加入了微软,目前Charles在微软从事计算机体系结构的研究.既然Charles能获得图灵奖,在之前肯定是有其他奖来铺垫的. 在此前获得的重量级的奖项有2004年获得的查理· 斯塔克· 德雷珀奖(Charles Stark Draper Prize)((2009年诺贝尔物理学奖获得者高锟1999年获得此奖).)和2007年获得的IEEE John von Neumann Medal. 当然了,我们老中也不必为不能获得图灵奖还懊恼,毕竟咱们起步晚.人家在73年玩计算机的时候,我们还在玩人呢.也许再过N年,图灵奖获得者能出现中国人的名字.另外有志冲击图灵奖的各位同学们,一定要勤锻炼身体,把身体弄的健健康康的。因为Charles在设计了Alto将近40年后才获奖的经历告诉我们,即使你有获奖的才能,也得有机会活着领奖才行。:) | |
我与Jim Gray的一段交往
作者 杰夫 | 2009-10-27 13:25 | 类型 人物评述, 弯曲推荐, 计算的美丽 | 32条用户评论 »
|
根据我在计算机技术行业(和学术界)混迹多年的经验,在技术上没有刷子的人,基本上比较友善;有一、两把刷子的人中,颇有一些人自我感觉很好,牛X哄哄;但是真正到了技术顶级大牛、有许多把刷子的人,又是非常友善,平易近人。与Jim打交道的经历再一次验证了这一点。 时光如梭,算来这已经是将近十年前的事了。那时我还在学校读书,寒窗数载,正处于毕业答辩和要找工作糊口的关头。可惜当时正是Internet泡沫消失,股市崩盘之时,各大公司都在忙着裁人,并不招人。我老板出主意说,你论文做得不错,不如去学术界吧,做大学教授多牛。我说行,咱就这么定了。说说容易,大学的坑就那么几个,想填坑的萝卜倒是不少,尤其是当时工业界不招人,刚毕业的萝卜们纷纷转向学术界,可谓“萝卜年年有,今年特别多”。 有一天,就在我在实验室忙着修改简历时,老板带来一个人,很是高大魁梧,络腮胡子。老板说,这位是微软的Jim Gray,你来接待一下,介绍一下我们实验室的研究。我说行,这位同学是谁,做什么方向,那位同学是谁,做什么题目。然后开始聊我做什么,Jim对我做的项目很感兴趣,提出能不能把我的毕业论文Email给他一份,我说没问题。又说起我正在找工作,他说我在微软上班,你有没有申请?我说微软听说过,但没申请,我现在是主攻Academia。他说应该申请一下,我来给你做推荐,我说那敢情好,行。 Jim离开实验室后,我就给他发了一份Email(CC给我老板),附上我的论文,具体怎么写的我已经忘了,只记得说希望这个论文对你能“Helpful”。不想老板很快就回信(CC给Jim),说您这位同学,有没有搞错? 英语还要继续学习,你的破论文还能对Jim Gray “Helpful”?Jim抽空看你的论文,不但是你的光荣,那也是我的光荣。 我一想,这怎么回事儿?我老板在学术界也算个人物,当年只用两年就拿下Berkeley博士学位,八十年代就是IEEE Fellow,平时喝两杯之后也是谁都不忿(他好像就服两个人,Dijkstra和Knuth),今儿这是怎么啦?这位Jim Gray是何许人也?我网上查了一下,那天又去听了Jim的一个Talk(好像是关于Worldwide Telescope的),才发现此公来头不小。刚才咋就没看出来呢? 赶紧给老板回Email,您老说的太对了,我的英语确实需要继续学习。从此记住了“helpful”这个词不能乱用。后来Jim回Email说,哈哈,没关系,Helpful=Informative。他还真把我的论文认真看了一遍,并交换了几封Email,讨论一些有关技术细节。我记得,当时有感于论文中背景引用的全是洋人的工作,我天朝上国在计算机方面确实没什么可引用的,我就在前言中加上了一页《道德经》(和英文翻译),用“大象无形,大音希声”的道理蒙鬼子一把。所以,Jim回信中还提到,你论文中提到的“Tao”很有意思,我说,那是,这可是我天朝的学术瑰宝,那学问可大了去了。他说,是,是,Tao的英文版我学习过多次。 后来,我就给微软发了一份Job Application,微软的人事部也特痛快,效率很高,不久就回信说,来信收到,多谢申请,目前没有对您合适的位置,不是你不好,是我不好,以后有合适的再联系,等等Bulls__t。到此完了也就完了,奇怪的是,几小时后,我又收到微软一封Email,说误会误会,有位置,我们来安排一个Phone Interview怎么样? 在Phone Interview时我才明白,该同学开始没看到Jim的推荐信,后来看到后,马上就有位置了。Phone Interview他就问了两个脑筋急转弯的问题。一个说,我三个筐子,一个装苹果,一个装橙子,一个装苹果和橙子。你看不到筐子里的东东,而标签都贴错了,你只能任选一个筐子,拿一个水果出来,然后把标签都改正过来,怎么拿? 还有一个问题是,屋子里有三盏灯,屋外有三个开关,屋外看不到屋里。你在屋外可以任意设置三个开关,然后进屋一次,就要说出哪个开关控制哪盏灯。怎么办?那时候我还年轻,反应还不慢,折腾了大概二十分钟,把两个问题都答上来了。 该人事同学说,很好很好,我马上安排下一步Interview。过了几天,他说你申请的是“Software Design Engineer”,目前不招人,有一个“Software Test/Design Engineer”可不可以,做得好以后可以改成Design Engineer。一般来说,在当时的工作市场的大背景下,这也就不错了。可惜我当时在学校念书久了,基本处于不知道自己吃几碗干饭的状态。我想我Phone Interview答得好,又有Jim Gray的推荐,这不行,不考虑。他说,你可想好了,过了这村就没这店了。我说,想好了,不要。 几天无话。可能是Jim在微软的影响不小,几天后,该同学又来电话了,说有位置了,就是“Software Design Engineer”,你来西雅图面试吧。我说行,你掏钱要我去Seattle逛逛,干嘛不去。为此我还推掉了去东部一所学校的面试,搞得对方不太愉快,我买好的机票也就没人给报销了。在以后的几个星期,我从网上下载了大量的微软的面试题,都是Brain Teaser一类,不外乎大桶装五升水,小桶装三升水,中桶装多少水?张三戴红帽子,李四戴绿帽子,王老五带什么帽子? 在我成为解答“王老五戴绿帽子”之类问题的绝顶高手后,飞往Redmond微软Campus面试,去后才发现这类问题人家压根儿就没问。不仅如此,我还被那位人事同学给害了,他给我安排面试的是Windows Kernel Group(你丫不是牛吗,到Kernel Group试试吧)。微软有几万人,但开发Windows Kernel就这么九、十个人,每个人看起来都不同凡响,神神叨叨的。一位老哥对我说,看见旁边这个大黑盒子了吧,我正在那编译整个Windows呢,要编一整天时间。要搁现在,我会说,这有什么好吹的,有病啊?那时不一样,还是学生,呦,Windows我倒是天天用,就是没编译过,您老牛啊!那是,我老当然牛,但编程也有错误,这不,这刚有个Bug我终于找出来了,你来看看,错在哪?这个,写得好,没错啊? 再看看!写的确实好,真的没错啊?这都看不出来,那是你脑袋不好使,笨啊!这不,这块内存太大了,把那一块给覆盖了。没错,这我哪看得出来?还有一位,说这有一个题目,马上把程序写在黑板上,不能有编译错误,要处理所有error code。写完以后,他说,基本可以,但这两个error没有处理。就这样几轮过后,我就感觉形势不太妙。晚上,和一位微软的和其他几位面试一起吃大餐,微软买单。和几位一聊,发现他们都被问到水桶装水之类的问题,就我没有,估计是面试我的几位不屑问这种问题,很是郁闷。 回来以后,微软还是效率很高,不久就来信说,多谢你来面试,感觉目前的位置和您不match,不是你不好,是我不好,以后再联系。嘿,你不要我,我还懒得去你那一年九个月下雨的鬼地方!此处不留爷,自有留爷处,处处不留爷,爷去投八路。几个月后,我就打点行装,离开加州,去东部一所学校教书了。
注: Jim Gray在微软的工作是在Microsoft Research Bay Area Center, 其中有多个计算机界的顶尖人物,例如,分布式计算的开山鼻祖Leslie Lamport(也是LaTex的最初开发者。个人意见,该同志完全有资格拿一个图灵奖)也在那。 有关Jim的详细介绍,可参见怀临的“计算的美丽”,或下面的页面: | |
中国计算机科学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 【附录:对计算机界图灵奖获得者有兴趣的读者,可以参阅】 | |
2008年图灵奖获得者揭晓– Barbara Liskov
作者 陈怀临 | 2009-03-29 18:15 | 类型 人物评述, 计算的美丽 | 没有用户评论 »
|
ACM的官方新闻发布稿可参阅于此:ACM2008图灵奖新闻。 ACM对Barbara的学术研究评价为:“For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.”。 【笔者注:】 授予Barbara Liskov教授2008年图灵奖,以表彰其在计算机程序语言,系统设计,特别是在数据抽象,容错系统设计和分布式计算方面的理论和工程设计方面的杰出贡献。 另外,Barbara Liskov是历史上第一个女性计算机博士学位获得者。Barbara于1961年从加州大学伯克利分校数学系获得其学士学位;1968年从斯坦福大学获得其计算机博士学位 。其博士论文为“A Program to play chess Endgames”。 【相关文章:】 ×图灵奖获得者国籍,院校,学术专业分类,陈怀临,2006 ×《计算的美丽–图灵奖的第一个40年》(上),陈怀临,2006 ×《计算的美丽–图灵奖的第一个40年》(下),陈怀临,2006 | |
《计算的美丽–图灵奖的第一个四十年》(下)在线下载
作者 陈怀临 | 2008-04-14 22:21 | 类型 人物评述, 计算的美丽 | 没有用户评论 »










(10个打分, 平均:4.80 / 5)
谁能数据挖掘出2009年10月在清华大学的中国计算机科学2020研讨会中,姚期智邀请来的14位科学家名单和其详细背景?天下除了《弯曲评论》,存在第二家的可能性就像下面理论计算科学家研究的不确定问题一样,基本上是不可在多项式时间算法下求证。除非拿出反例(certificate),断言可以但很难证伪:-)。