计算机科学与人物

IEEE 约翰·冯诺依曼奖

2012年9月28日 阅读(149)

IEEE 约翰·冯诺依曼奖由IEEE成立于1990年,目的是表彰在计算机科学和技术上具有杰出成就的科学家。虽不如图灵奖那样有名,但也绝对是计算机科学界非常重量级的奖项了,获奖者也都是世界上举足轻重的计算机科学家,其中很多人也同时是图灵奖得主。

2012 EDWARD McCLUSKEY Professor Emeritus, Departments of Electrical Engineering and Computer Science, tanford University, Stanford, CA, USA.

“For fundamental contributions that shaped the design and testing of digital systems.”

著名学者,研究数理逻辑的专家。他和奎因(Quine)共同创造的化简开关函数的一种方法就被叫做奎因—麦克卢斯基法(Quine-McCluskey method)。他还曾出任IEEE计算机协会的主席。

2011 C.A.R. (TONY) HOARE Principal Researcher, Microsoft Research Ltd.; Cambridge, UK

“For seminal contributions to the scientific foundation of software design.”

1980年图灵奖得主。 1934年出生于英国,1959年博士毕业于俄罗斯莫斯科国立大学,获得语言机器翻译专业学士学位。1960年发布了使他闻名于世的快速排序算法(Quick Sort),这个算法也是当前世界上使用最广泛的算法之一。Tony Hoare在取得博士学位后,就职于Elliott Brothers,领导了Algol 60第一个商用编译器的设计与开发,由于其出色的成绩,最终成为该公司首席科学家。他于1969年发表了论文"计算机程序的公理基础"提出了名为Hoare逻辑的形式系统理论。这个系统的用途是为了使用严格的数理逻辑推理计算机程序的正确性提供一组逻辑规则。他还设计了形式化语言CSP(Communicating Sequential Processes)用以描述并发进程相互作用。从1977年开始,Tony Hoare博士任职于牛津大学,投身于计算系统的精确性的研究、设计及开发。因其对Algol60程序设计语言理论、互动式系统及APL的贡献,1980年被美国计算机协会授予“图灵奖”。 1999年在牛津大学退休后,TonyHoare博士被微软剑桥研究院聘请担任高级程序员,从事微软剑桥研究院研究成果的工业化应用的工作,以及协助其它研究人员进行服务于软件产业及用户的长期基础研究项目。2000年因为其在计算机科学与教育上做出的贡献被封为爵士。

2010  JOHN HOPCROFT IBM Professor of Engineering and Applied Mathematics, Cornell University, Cornell, NY, USA & JEFFREY ULLMAN Professor Emeritus of Computer Science, Stanford University Stanford, CA, USA

“For laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science.”

John Hopcroft,1986年图灵奖得主,获得图灵奖的最主要原因则是他们(他和Robert Tarjan)解决了图论算法中的一些难题,创造了新的、重要的数据结构和影响深远的算法。1970年,霍普克洛夫特在康乃尔大学获得一年学术休假(他是1967年被哈特马尼斯招至麾下的人他决定回母校斯坦福大学到克努特教授名下做研究,因为克努特虽然只比他年长一岁,但因在 1968年和 1969年连出两卷《计算机程序设计的艺术》(The Art of Computer Programming)而已名满天下,成为算法领域的权威。克努特知道霍普克洛夫特对算法有兴趣并有独到见解,就把他和自己的得意门生、研究方向也是算法的陶尔扬安排在一个办公室(也有资料说是相邻办公室),为他们的合作创造了条件。他们选择了图论中与实际应用有很大关系的图的连通性(connectivity,也就是图中任意两个结点是否都是相互可达的)和平面性(planarity,也就是图中所有的边是否都可以安排得互不交叉)的测试难题进行攻关。提出了著名的“深度优先搜索算法”(depth-first search algorithm),之后又发明了一种新的数据结构叫“双雄栈叠”(pilee of twin stacks),这种数据结构使深度优先搜索算法的优点更加发扬光大。除了和Tarjan合作取得上述成果外,在数据结构和算法方面还有其他一系列创造。比如常用于索引组织的著名数据结构B树,是一种平衡的多分树,对查找、插入、删除等操作能始终保持动态平衡,具有很高的效率。霍普克洛夫特在对B树进行深入研究以后,为了进一步提高其操作效率和空间利用率,创造了它的一种变形叫“2-3树”,这种树的每个结点有2个键,每个键都有2-3个儿子。

Jeffrey D. Ullman,1996年Sigmod贡献奖和1998年Karl V. Karstrom杰出教育家奖获得者。斯坦福大学的Stanford W. Ascherman计算机科学教授。他作为作者或合作者出版了15本著作,发表了170篇技术论文,其中包括《A First Course in Database Systems》(Prentice Hall 出版社,1997)和《Elements of ML Programming》(Prentice Hall 出版社,1998)。他的研究兴趣包括数据库理论、数据库集成、数据挖掘和利用信息基础设施进行教育。

2009 SUSAN L.GRAHAM Pehong Chen Distinguished Professor of Computer Science, Univ of California at Berkeley, Berkeley, CA, USA

“For contributions to programming language design and implementation and for exemplary service to the discipline of computer science.”

2008 LESLIE LAMPORT Researcher, Microsoft Corporation, Silicon Valley Research Center, Mountain, View, CA, USA

“For establishment of the foundations of distributed and concurrent computing.”

分布式计算领域的重要科学家,paxos算法的提出者。1982年与另两人共同发表论文“拜占廷将军问题”,既允许军中可能有叛徒,又要保证战争胜利,引申到计算机领域,成为一种容错理论。1984年前后,使用 Knuth 教授发明的 plain TeX 排版软件撰写一些并行计算方面的论文,感到还是不太方便,于是编写了便于自己使用的宏包套件,并命名为 LaTeX。其主要改进是将版面设计与文稿内容分开处理,只要使用者选择了一种文件类别,LaTeX 自动将整本书或整篇文章的结构和标题就按照这种文件类别典型样式来设置,作者只要专注文章的内容就可以了。起初 LaTeX 在计算机科学家之间流传,大家觉得 LaTeX 比 plain TeX 使用更方便,就经常通过各种渠道向他索取。1984年发表论文“分布系统中的时间、时钟和事件排序”。2001年进入位于加利福尼亚的微软研究院,任高级研究员,从事分布式计算机系统理论研究。

2007 CHARLES THACKER Distinguished Engineer, Microsoft Corporation, Redmond, WA, USA

“For a central role in the creation of the personal computer and the development of networked computer systems.”

因设计与实现了第一台现代个人电脑Xerox Alto而荣获2009年图灵奖。1943年2月26日,萨克尔出生于美国加州帕萨迪纳。 1968年在加州大学伯克利分校读物理专业时加入Genie项目,开始进入计算机界。 1970年,加盟施乐公司Palo Alto研究中心。先后担任MAXC时分操作系统的项目负责人,Alto个人计算系统的首席设计师等职务。主持或者参与了Alto、以太网、激光打印机等的设计与开发。 1983年,加盟迪吉多公司,参与创建该公司的系统研究中心。主持设计了第一个多处理器工作站DEC Firefly。 1997年,加入微软,帮助创建微软剑桥研究院。 1999年,从事微软Tablet PC的开发。 2004年被美国工程院授予Charles Stark Draper奖。

2006 EDWIN CATMULL President, Pixar Animation Studios, Emeryville, CA, USA

“For fundamental contributions to computer graphics, and a pioneering role in the use of computer animation in motion pictures.”

美国计算机科学家,迪士尼动画工作室和皮克斯动画工作室现任总裁,皮克斯的创始人之一。作为计算机科学家,卡特姆为计算机图形学作出了许多重大的贡献。2001年,由于对电影渲染技术的重要促进,比如皮克斯的RenderMan的开发,他获得了奥斯卡奖。2009年2月的81届奥斯卡金像奖,卡特姆被授予戈登·E·索耶奖,这是表彰电影行业重大技术贡献者的一个个人奖项。

2005 MICHAEL STONEBRAKER Adjunct Professor, Laboratory for CS, Massachusetts Institute of Technology, Bedford, NH, USA

"For contributions to the design, implementation, and commercialization of relational and object-relational database systems."

著名的数据库科学家,他在1992 年提出对象关系数据库模型。在加州伯克利分校计算机教授达25年,在此期间他创作了Ingres, Illustra, Cohera, StreamBase Systems和Vertica等系统。Stonebraker教授也曾担任过Informix的CEO。Stonebraker 教授领导了称为Postgres的后Ingres项目。这个项目的成果非常巨大,在现代数据库的许多方面都做出的大量的贡献。Stonebraker 教授还做出了一件造福全人类的事情,那就是把Postgres 放在了BSD 版权的保护下。如今Postgres名字已经变成了PostgreSQL,功能也是日渐强大。87年左右,Sybase联合了微软,共同开发SQL Server。原始代码的来源与Ingres有些渊源。后来1994年,两家公司合作终止。此时,两家公司都拥有一套完全相同的SQLServer代码。 可以认为,Stonebraker教授是目前主流数据库的奠基人。

Stonebraker还培养出了一批非常牛叉的学生。包括:

Michael J. Carey (faculty at UC Irvine, formerly at U. Wisconsin Madison, NAE Member and ACM Fellow),

Robert Epstein (founder and former VP of Engineering of Sybase)

Diane Greene (co-founder and former CEO of VMWare)

Paula Hawthorn (founder of Britton-Lee, formerly VP of Engineering of Informix)

Gerald Held (former VP of Engineering of Oracle)

Joseph M. Hellerstein (faculty at UC Berkeley)

Anant Jhingran (VP and CTO for IBM’s Information Management Division)

Curt Kolovson (Architect at Hewlett-Packard)

Clifford A. Lynch (executive director of the Coalition for Networked Information)

Mike Olson, former CEO of Sleepycat Software and current CEO of Cloudera

Margo Seltzer (Professor of Computer Science at Harvard, founder and former CTO of Sleepycat)

Dale Skeen (founder of Tibco, founder and CEO of Vitria)

 2004 BARBARA H. LISKOV Ford Professor of Engineering and Associate Head for Computer Science, Massachusetts Institute of Technology Cambridge, MA, USA

“For fundamental contributions to programming languages, programming methodology, and distributed systems.”

2008年图灵奖得主,1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位,她是美国第一个计算机科学女博士。导师为1971年图灵奖得主约翰·麦卡锡,论文题目是国际象棋残局程序。LISKOV领导了许多重要的项目,包括小型低成本交互式的分时操作系统Venus,第一个支持数据抽象的面向对象编程语言CLU的设计与实现,第一个支持分布式程序实现的高级语言Argus,面向对象数据库系统Thor,还有最近的Byzantine分布式容错系统。其中,CLU语言对现代主流语言如C /Java/Python/Ruby/C#都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想,已经成为软件工程中最重要的精髓之一。她另外一个在程序设计中有广泛应用的成就,是与Jeannette Wing一起提出的Liskov代换原则,是面向对象最重要的几大原则之一。

2003 ALFRED V. AHO Professor, Columbia University, New York, NY, USA

“For contributions to the foundations of computer science and to the fields of algorithms and software tools.”

最有名的著作,是与彼得·温伯格和布莱恩·柯林汉合著的《AWK程式设计》,A就是其姓氏“Aho ”的缩写。另外还有他与 Ravi Sethi以及Jeffrey Ullman合著的《编译器:原理、技术、工具》(又称龙书或天龙宝典,松岗有出版中译本,分为上下两册)。他也写了Unix底下egrep和fgrep工具的最初版本。同时也与Ullman和John Hopcroft著作大量计算机科学领域的参考书,包括算法、数据结构以及计算机科学基础。

2002 OLE-JOHAN DAHL Univ of Oslo, Oslo, Norway & KRISTEN NYGAARD Univ of Oslo, Oslo, Norway

"For the introduction of the concepts underlying object-oriented programming through the design and implementation of SIMULA 67."

他们二人共同创造了Simula,被认为是面向对象之父。并因此贡献共同获得2001年图灵奖与2002年约翰·冯诺依曼奖。

2001 BUTLER W. LAMPSON Distinguished Engineer at Microsoft and Adjunct Professor at MIT

"For technical leadership in the creation of timesharing, distributed computing, networking security and program languages."

1992年图灵奖得主,1992年时任DEC公司高级研究员和主任设计师。1943年12月23日生于华盛顿。他曾在哈佛大学就读,学的是文科。1964年获得文学学士学位之后他进入加州大学伯克利分校研究生院,改修理工科,于1967年获得博士学位。留校任教4年以后,兰普森进入产业界,先后在施乐(Xerox)公司的Palo Alto研究中心(即著名的PARC)和DEC公司工作,1995年加盟微软,任软件总工程师至今。

Lampson是一个兴趣广泛、多才多艺的计算机专家。他在硬件、软件、程序设计语言、计算机应用、网络……诸多方面都有许多成果。硬件方面:在PARC时有以太网(Ethernet),Alto计算机系统和Dorado系统。在DEC时,兰普森主持了用世界上最快的计算机芯片Alpha作中央处理器的A1pha工作站体系结构的设计。这是当前世界上最负盛名的64位工作站,是所谓第四代工作站中的典型和佼佼者。软件方面:前述SDS-940和Alto的操作系统。程序设计语言方面:LISP、Mesa、Euclid、SNOBOL等。应用方面:Bravo编辑器,Star办公系统。网络方面:Grapevine电子邮件系统,Dover网络打印机。

Alto,是兰普森至今所开发的系统中最重要的一个系统,它所产生的影响也最大。 Alto是PARC在20世纪60年代末70年代初设计与开发的世界上第一个个人计算机系统,1973年完成并正式投入运行。它是当时最先进的计算机系统,有一系列的新构思、新创造、新发明、新部件,其中最主要的是有高分辨率的全屏图形系统,在世界上首先实现了图形用户界面,打破了传统的只能用字符实现人机交互的限制,开创了计算机历史上有重大意义的新的一页,使计算机与人的关系上不再是“生硬”、“冰冷”,而是“友好”的。这一变革对计算机的推广应用至关重要。为此,Alto上配备有“鼠标器”(mouse),这是斯坦福研究所SRI的恩格尔巴特(Douglas Engelbart,1997年图灵奖获得者)不久前发明的。但恩格尔巴特的鼠标器是木质的,体积也比较大,PARC对它的结构作了重大改进,使之小巧玲珑,已比较接近我们当前所使用的鼠标器。Alto的另一个先进外部设备是8时软盘驱动器,虽然8时软盘并非首次用于计算机,但PARC采用了一些新的技术,使Alto的8时软盘能存储的信息量在当时是最高的。此外,Alto上还配备了一些出色的软件。十分可惜的是,由于Xerox决策层的失误,Alto系统虽然在PARC内部被广泛采用,但它却没有被商品化推向市场,它在公众面前仅仅是作为相当出色但却十分昂贵的Xerox 850专用字处理系统而露脸的。但Xerox 850上市以后,Alto的独特功能和出色性能立刻引起了业界许多人的注意,其中包括苹果公司的乔布斯(Steve Jobs)。乔布斯组织他公司里的技术骨干到PARC参观、座谈,学习,又从PARC挖去了一些参加过Alto开发的技术人员,比如拉利· 泰斯勒(Larrv Tessler),然后仿照Alto,先后推出了Lisa机和Macin-tosh机。Lisa机不太成功,Macintosh则大获成功,一炮打响,成为最受欢迎的高性能个人计算机系统之一。1999年末,美国《财富》杂志发布了“本世纪杰出产品”排行榜,40种著名产品榜上有名,信息技术只有两个产品挤身其中,一个是Intel公司的微处理器,另一个就是Macintosh。这样,半个多世纪中曾经涌现出来过的无数计算机产品,包括巨型机、大型机、小型机、微型机中,只有Macintosh一种型号被戴上了“世纪杰出产品’’的桂冠,可见Macintosh的魅力和影响。但是,客观地说,Macintosh的成功和光荣至少有一半应归功于Alto。

Alto的强大功能和优异性能来自它的超前的设计思想,即将计算机的体系结构和计算机所要采用的程序设计语言和操作系统等系统软件和支撑环境统一加以考虑,以集成方式设计和开发。这种设计思想是Alto成功的关键,同时也成为后来计算机系统设计的主导方向。著名的瑞士计算机科学家尼克劳斯·沃思(Niklaus Wirth,1984年图灵奖获得者)正是作为客座研究员访问PARC期间参与了Alto的设计与开发,受到启迪和影响,在回到瑞士以后开发了Lilith系统和Modula-2语言。

除了在系统开发方面的诸多贡献之外,兰普森在解决计算机文件系统和分布式系统的技术问题上也有许多贡献。例如,20世纪70年代中期,兰普森在设计一个文件系统时就提出了“原子事务”(atomic transaction)的概念。在1979年举行的一次可靠分布计算会议上,兰普森提出了采用“三明治式的提交协议”(sandwich commitprotocol)提高系统可靠性的方案,等等。

兰普森发表了不少论文,但出版著作不多,见到的重要著作是《分布式系统——体系结构和实现:高级课程》(Distributed System—Architecture and lmplementation:an Advanced Course,Springer,1981)。另外比较有趣的一件事情,LESLIE LAMPORT那篇著名的被忽略的最早的关于Paxos算法的论文<<the Part-time Parliament>>,正是经Lampson在他的论文<<How to Build a Highly Availability System using Consensus>>中提到后,才再次引起人们的重视的。

2000 JOHN L. HENNESSY Stanford University Stanford, CA, USA & DAVID A. PATTERSON University of California at Berkeley Berkeley, CA, USA

“For creating a revolution in computer architecture through their exploration, popularization, and commercialization of architectural innovations.”

David Patterson是RISC最初提倡者之一。他创造了RISC一词,定义了RISC的含义,是Sun公司SPARC处理器的主要顾问。他提出了RAID(廉价磁盘冗余阵列),带来了为大量数据服务器提供磁盘存储的工业的革命,并且又提出了NOW(工作站网络)的概念。并曾任ACM主席一职。David Patterson是计算机界的超级大牛,RSIC、RAID、Cluster等业界重要技术的发明者。

1999 DOUGLAS C. ENGELBART Bootstrap Institute Fremont, CA, USA

"For creating the foundations of real time, interactive, personal computing including CRT displays, windows, the mouse, hypermedia linking and conferencing, and on-line journals."

美国发明家,瑞典人和挪威人后裔。最广为人知的是他发明了鼠标,另外他的小组是人机交互的先锋,开发了超文本系统、网络计算机,以及图形用户界面的先驱;并致力于倡导运用计算机和网络,来协同解决世界上日益增长的紧急而又复杂的问题。

1998 IVAN EDWARD SUTHERLAND Sun Microsystems Laboratories Palo Alto, CA, USA

"For pioneering contributions to computer graphics and microelectronic design, and leadership in the support of computer science and engineering research"

1997 MAURICE V. WILKES Olivetti Research Ltd.Cambridge, England

"For a lifelong career of seminal contributions to computing, including the first full-scale operational stored program computer and to the foundations of programming."

设计和制造了世界上第一台存储程序式电子计算机EDSAC,在“工程和软件等计算机领域都有许多开创性成果”。

1996 CARVER A. MEAD California Institute of Technology Pasadena, CA, USA

"For leadership and innovative contributions to VLSI and creative microelectronic structures."

1995 DONALD E. KNUTH Stanford University Stanford, CA, USA

"For fundamental contributions to the theory and practice of computer science and to the art of computer programming."

最为人知的是,他是《计算机程序设计艺术》(The Art of Computer Programming)的作者。此书是计算机科学界最受敬重的参考书籍之一。他创造了算法分析的领域,在数个理论计算机科学的分支做出初步贡献,此外还是排版软件TEX和字体设计系统Metafont的发明人。高德纳的英文名直译为唐纳德·欧文·克努斯(Knuth发音为/knu?θ/[1]),“高德纳”这个中文名字是1977年他访问中国之前所取的,命名者是储枫(姚期智的夫人,夫妇都是计算机科学家)。

1994 JOHN COCKE IBM/T.J. Watson Research Center Yorktown Heights, NY, USA

"For contributions to the computer industry including the invention, development and implementation of Reduced Instruction Set Computer (RISC) architecture and program optimization technology."

1993 FREDERICK P. BROOKS, JR.Univ. of North Carolina Chapel Hill, NC, USA

"For significant developments in computer architecture, insightful observations on software engineering, and for computer science education and professional service."

曾任IBM系统部主任,主持开发过OS/360等大型计算机的操作系统软体。<<没有银弹>><<人月神话>><<再论人月神话>><<设计的设计:一位计算机科学家的设计历险>>作者。

1992 C. GORDON BELL Stardent Computer Sunnyvale, CA, USA

"For innovative contributions to computer architecture and design."

 参考文献:

巴特勒·兰普森——从Alto系统首席科学家到微软首席技术官 

http://zh.wikipedia.org/wiki/约翰·冯诺依曼奖

You Might Also Like