Richard Edwin Stearns(07/05/1936–)

图灵奖获得时间：

1993年 。 第二十八位图灵奖(1993年)获得者。

图灵奖引用(Turing Award Citation)：

In recognition of their seminal paper which established the foundations for the field of computational complexity theory.

【笔者译：】

( 授予Richard Stearns图灵奖以表彰其)在计算复杂性理论领域发表的具有开创意义的研究文章。

阅读全文»

Butler W. Lampson(1943–)

图灵奖获得时间：

1992年。 第二十七位图灵奖(1991年)获得者。

图灵奖引用(Turing Award Citation) ：

For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.

【笔者译：】

( 授予Butler W. Lampson图灵奖以表彰其在)分布式计算环境，个人计算环境的研发和实现技术，其中包括：工作站，网络，操作系统，程序语言，(计算机)显示，(计算机)安全和(计算机)文档排版处理等。

阅读全文»

Robin Milner( 1934–)

图灵奖获得时间：

1991年。 第二十六位图灵奖(1991年)获得者。

图灵奖引用(Turing Award Citation) ：

For three distinct and complete achievements: 1) LCF, the mechanization of Scott’s Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

【笔者译：】

( 授予Robin Milner图灵奖以表彰其在) 三个研究领域的杰出的和完整性的成就：

1. LCF, 一个(Dana Scott)的可计算函数逻辑(Logic of Computable Functions)的实现机制，(可能)是第一个理论上和实践上都具备的计算机证明(数学)定理的工具。

2. ML, 第一个具有多态的类型推理和具有安全类型的异常处理机制的(编程)语言。

3. CCS, 一个并发系统的综合理论。

另外，Robin Milner在operational 和denotational的语义关系方面进行了形式化的描述和深入的研究。

阅读全文»

      美国报业协会（Newspaper Association of America）的统计显示，美国报业的萎缩还在加剧。2007年，报业印刷广告的总收入比2006年下降了9.4%，降到420亿美元，创下了1950年以来最大的跌幅。1950年则是该协会首次统计报业年收入，所以2007年的这个跌幅也是“史载”最大跌幅。

      报业的在线广告则相对表现较好，多少给了报纸大亨们一些安慰。2007年，报业的在线广告比2006年增长了18.8%，到32亿美元。但是这个数字比2006年的增长额31.4%可是少了不少，而且这点增长也不足以弥补印刷广告的巨额损失。在线广告收入目前已经占到报业总广告的7.5%。

      谁也不能否认报业还有未来——互联网的冲击看起来势头很猛，但是终究，互联网还是无法完全取代报纸，而且报业巨头们也纷纷展开了在线业务来杀入这个市场。不过美国报业的整合还在进行当中，这种整合产生的动荡还远没有到平静下来的时候。谁能最早最好的适应这种变化，谁就是最后的胜者，而失败者则属于自然淘汰的例子。

      维基百科的第一千万篇文章诞生了，这是一篇关于十六世纪画家Nicholas Hilliard匈牙利语的自传（请点击看文章）。

      维基百科的这一千万篇文章以250种语言写就。英语仍旧是最主要的语言，占了230万篇文章（2007年9月，第二百万篇英文文章诞生）。在英语之后，维基百科文章语言的分布依次是：德语、法语、波兰语、日语、意大利语、荷兰语、葡萄牙语、西班牙语、瑞典语、俄语和中文。详细的维基百科文章分语种排行榜在这里。

      中文维基百科的文章相对较少，原因之一是中国大陆用户目前还无法正常访问维基百科。当然，即使在目前的排名下，中文文章的深度（大致描述维基百科文章的质量）还相当高，仅次于英文、德文和法文文章；与此对照，波兰语的文章深度相当低，虽然其数量不少。

Fernando Jose Corbato(07/01/1926–)

图灵奖获得时间：

1990年 。 第二十五位图灵奖(1990年)获得者。

图灵奖引用(Turing Award Citation) ：

For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics.

【笔者译：】

( 授予Fernando Jose Corbato图灵奖以表彰其)先驱性的在组织和综合概念和领导开发通用大规模，分时系统，资源共享计算机系统，如CTSS和Multics。

阅读全文»

William (Velvel) Morton Kahan(06/05/1933–)

图灵奖获得时间：

1989年。 第二十四位图灵奖(1989年)获得者。

图灵奖引用(Turing Award Citation) ：

For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to “making the world safe for numerical computations.

【笔者译：】

( 授予William (Velvel)  Kahan图灵奖以表彰其)在数值分析领域基础性的贡献。William Kahan是关于浮点运算方面最重要的科学家之一。Kahan一直致力于“使得这个世界在数值计算方面更加安全。

阅读全文»

      王瑶现为美国纽约科技大学（Polytechnic University）电子工程系正教授，它还曾在AT&T实验室和普林斯顿大学（Princeton University）等从事研究工作。她于2004年获选美国电气和电子工程师协会院士（IEEE Fellow） (Citation: "for contributions to video processing and communication"，汉译：“对视频处理和通信的研究做出贡献”）。王教授1983年获清华大学电子系学士学位，1985年获硕士学位，并于1990年获得圣塔芭芭拉加州大学（University of California, Santa Babara）电子工程专业博士学位。

      王教授现在领导纽约科技大学的图像处理实验室，她的研究领域包括图像和视频压缩，图像、视频传输，多媒体信号处理等。她还属于多家学术期刊的编委会，并参与组织多个学术会议。她的博士毕业生有Xiaoan Lu，Jianhong Hu，Wenwu Zhu，Anthony Vetro，Zhu Liu，和Yaling Pei等。

点击这里进入王教授主页（英文）。