教师节特别篇：致敬那些“牛逼闪闪”的计算机领域大神

　　教师节特别篇

　　今天是教师节

　　我们向每一位教师

　　致以诚挚的问候

　　祝老师们节日快乐

　　本期我们将致敬

　　几位计算机领域的院士

　　他们代表了最顶尖的

　　计算机科研成果

　　但他们同时也是一名普普通通、受人尊敬的教师，他们的职业始终是教育科研工作者，他们在奋战在科研一线的同时，也一直在教书育人，传承知识。

　　向大神致敬!

　　陈国良

　　并行算法、高性能计算大神

　　1938年出生。中国科学院院士、深圳大学和南京邮电大学教授。

　　主要成就

　　主要从事并行算法，计算机体系结构，计算机网络和神经计算等研究。在高性能计算及其应用研究方面，提出了“并行算法—并行机结构—并行编程”一体化的研究方法。上世纪90年代，他开始从事高性能计算及其应用研究，率先在国内成立了第一个国家高性能计算中心。

　　重要观点

　　国产计算机已经不依赖进口，应乘胜追击实现高水平科技自立自强，同时，国产计算机一定要服务于国民经济主战场。

　　何积丰

　　计算机软件大神

　　1943年出生，中国科学院院士、同济大学教授。

　　主要成就

　　主要从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。1986年和C.A.R.Hoare提出了“程序分解算子”。1995年与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。

　　重要观点

　　对有海量用户的软件，证明技术的安全可信很有必要。如果零部件的安全性没有保证，信息安全就做不到，现在是把可信软件理论、人工智能与各行各业结合的好时机。

　　陆汝今

　　人工智能大神

　　1935年出生，中国科学院院士、复旦大学教授。

　　主要成就

　　主要以人工智能、知识工程和基于知识的软件工程为主要研究方向，是中国该领域研究的开拓者之一，在国际上率先研究异构型分布式人工智能(DAI)，把机器辩论引进人工智能，设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用。

　　重要观点

　　对于一个人来说，想像力比知识更重要。如果一个人没有想象力的话，就只能跟着别人后面走。应该想别人没想过的事情，走别人没有走过的道路 。

　　杨芙清

　　计算机软件大神和教育家

　　1932年出生。中国科学院院士、北京大学教授。

　　主要成就

　　长期从事系统软件、软件工程、软件工业化生产技术和系统等方面的教学与研究工作。主持研制成功我国第一台百万次集成电路计算机多道运行操作系统和第一个全部用高级语言书写的操作系统。倡导和推动成立北京大学计算机科技系。在国内率先倡导软件工程研究，创办了国内第一个软件工程学科。

　　重要观点

　　信息科学技术是一门交叉性、应用性极强的学科，它跟其他学科领域相结合，可以促进各个领域的信息化，从而促进工业、农业和国防等各个领域的现代化。

　　郑纬民

　　网络存储和超算大神

　　1946年出生。中国工程院院士、清华大学教授。

　　主要成就

　　长期从事并行/分布处理、大规模数据存储系统领域的科研与教学工作。带领团队用一年的时间研制成功了中国当时运行频率最高的高性能嵌入式CPU-THUMP107。在网络存储方面，研制的“高可扩展海量存储网络系统TH-MSNS”，“带外虚拟存储技术、大容量内存虚拟磁盘技术进入国际领先行列”。

　　重要观点

　　互联网正在以更快的速度，向着更能够表达人类思想、更类似于人脑思维构造的知识网络发展。知识网络数据规模大、来源丰富、类型复杂，图数据库作为一种全新的数据库类型提供了新的思路。

　　还有一位计算机领域的院士非常值得一提：

　　李凯

　　分布式计算大神。

　　1954年出生。中国工程院外籍院士，美国工程院院士、普林斯顿大教授。

　　他是分布式计算科学家，因提出分布式共享存储技术而闻名，并在1990年代成为国际计算机系统结构领域研究的热点。同时，他也被称为“华人教授首富”。

　　2001年，李凯与合伙人抓住重复数据删除市场的空白，共同创办Data Domain公司，并研制出世界上第一款商用重复数据删除存储系统，大获成功。凭借出色的市场表现，Data Domain被EMC以21亿美元的价格收购。

　　针对重复数据删除所需要的性能要求，Data Domain采用的方案是运用高性能计算节点。采用NUMA计算架构，高性能处理器构成重复数据删除控制器。

　　由于采用了NUMA架构，整个控制器可以管理容量很大的内存空间，可以做到90%以上的Fingerprint信息缓存在内存中。因此，磁盘级的重复数据查找转变成了内存查找。和其他技术路线相比，这是一个硬件架构的革新。采用这个架构，还有一个好处就是可以随着CPU处理能力的增强而不断提升重复数据删除的性能。

　　这个架构的革新，使得Data Domain牢牢占据专用备份设备市场的半壁江山。而Data Domain与Avamar，一个作为目标端重复数据删除技术，另一个作为源端重复数据删除技术，两者形成完美互补，构成了EMC在重复数据删除领域的铜墙铁壁。

　　李凯是华人的骄傲，他在计算机领域特别是分布式计算取得杰出的研究成就，提出了分布式存储(Distributed Shared Memory，DSM)的设计思想，对后来的分布式计算，并行计算甚至今天的云计算都有深远的影响。

　　如今，李凯在普林斯顿大学任职教授，和其他计算机领域的院士一样，致力于培养计算机科学人才。